×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [agentbased language]
Abstraction and Compositional Verification Techniques for Asynchronously Communicating Components Marjan Sirjani Tehran University, IPM FMCO’06 Amsterdam
227 views
Rebecca Modeling Language Mahdieh Ahmadi Verification of Reactive Systems March 2014
216 views
Rebecca Modeling Language
54 views