Event-based design and runtime verification of composite service transactional behavior

Walid Gaaloul*, Sami Bhiri, Mohsen Rouached

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

54 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Event-based design and runtime verification of composite service transactional behavior'. Together they form a unique fingerprint.

Computer Science