Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes
Publisher:
Year
: 2014DOI: 10.1109/ICSENS.2014.6985132
Keyword(s): Capacitance,Capacitors,Fabrication,Monitoring,Skin,Spirals,Temperature measurement,Conductive polymer,Human emotion measurement,Piloerection
Collections
:
-
Statistics
Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes
Show full item record
| contributor author | Cheikhrouhou, S. | |
| contributor author | Kallel, S. | |
| contributor author | Guermouche, N. | |
| contributor author | Jmaiel, M. | |
| date accessioned | 2020-03-12T21:14:20Z | |
| date available | 2020-03-12T21:14:20Z | |
| date issued | 2014 | |
| identifier other | 6930598.pdf | |
| identifier uri | http://libsearch.um.ac.ir:80/fum/handle/fum/1041817?locale-attribute=en | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8169329 | |
| subject keywords | Capacitance | |
| subject keywords | Capacitors | |
| subject keywords | Fabrication | |
| subject keywords | Monitoring | |
| subject keywords | Skin | |
| subject keywords | Spirals | |
| subject keywords | Temperature measurement | |
| subject keywords | Conductive polymer | |
| subject keywords | Human emotion measurement | |
| subject keywords | Piloerection | |
| identifier doi | 10.1109/ICSENS.2014.6985132 | |
| journal title | ervices Computing (SCC), 2014 IEEE International Conference on | |
| filesize | 686263 | |
| citations | 0 |