Show simple item record

Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes

contributor authorCheikhrouhou, S.
contributor authorKallel, S.
contributor authorGuermouche, N.
contributor authorJmaiel, M.
date accessioned2020-03-12T21:14:20Z
date available2020-03-12T21:14:20Z
date issued2014
identifier other6930598.pdf
identifier urihttp://libsearch.um.ac.ir:80/fum/handle/fum/1041817?show=full
formatgeneral
languageEnglish
publisherIEEE
titleEnhancing Formal Specification and Verification of Temporal Constraints in Business Processes
typeConference Paper
contenttypeMetadata Only
identifier padid8169329
subject keywordsCapacitance
subject keywordsCapacitors
subject keywordsFabrication
subject keywordsMonitoring
subject keywordsSkin
subject keywordsSpirals
subject keywordsTemperature measurement
subject keywordsConductive polymer
subject keywordsHuman emotion measurement
subject keywordsPiloerection
identifier doi10.1109/ICSENS.2014.6985132
journal titleervices Computing (SCC), 2014 IEEE International Conference on
filesize686263
citations0


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record