Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach
Κύριος συγγραφέας: | Montali, Marco |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2010
|
Σειρά: | Lecture Notes in Business Information Processing
56 |
Θέματα: | |
Διαθέσιμο Online: | http://dx.doi.org/10.1007/978-3-642-14538-4 |
Παρόμοια τεκμήρια
-
Advances in Enterprise Engineering IV 6th International Workshop, CIAO! 2010, held at DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings
ανά: Albani, Antonia
Έκδοση: (2010) -
Trends in Enterprise Architecture Research 5th International Workshop, TEAR 2010, Delft, The Netherlands, November 12, 2010. Proceedings
ανά: Proper, Erik
Έκδοση: (2010) -
Exploring Services Science First International Conference , IESS 2010, Geneva, Switzerland, February 17-19, 2010. Revised Papers
ανά: Morin, Jean-Henry
Έκδοση: (2010) -
Enterprise, Business-Process and Information Systems Modeling 11th International Workshop, BPMDS 2010, and 15th International Conference, EMMSAD 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010. Proceedings
ανά: Bider, Ilia
Έκδοση: (2010) -
Enterprise and Organizational Modeling and Simulation 6th International Workshop, EOMAS 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010. Selected Papers
ανά: Barjis, Joseph
Έκδοση: (2010)