×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [set of reactive objects]
Documents
Abstraction and Compositional Verification Techniques for Asynchronously Communicating Components Marjan Sirjani Tehran University, IPM FMCO’06 Amsterdam
227 views
Documents
Rebecca Modeling Language Mahdieh Ahmadi Verification of Reactive Systems March 2014
219 views
Documents
Rebecca Modeling Language
60 views