Verifying Properties of Systems Relying on Attribute-Based Communication

ModelEd, TestEd, TrustEd - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68270-9_9 ◽

2017 ◽

pp. 169-190 ◽

Cited By ~ 4

Author(s):

Rocco De Nicola ◽

Tan Duong ◽

Omar Inverso ◽

Franco Mazzanti

Download Full-text