×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [parameterized transitions]
Documents
Parameterized Models for Distributed Java Objects
38 views
Documents
Eric MadelaineOSCAR Workshop -- Santiago Nov. 2004 Verification of Distributed Applications Eric Madelaine work with Isabelle Attali, Tomás Barros, Rabéa
217 views
Documents
Eric Madelaine FORTE ’04 -- Madrid sept. 2004 1/25 Parameterized Models for Distributed Java Objects Eric Madelaine work with Tomás Barros, Rabéa Boulifa
218 views