×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [parameterized lts plts]
Parameterized Models for Distributed Java Objects
44 views
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
219 views
Eric MadelaineOSCAR Workshop -- Santiago Nov. 2004 Verification of Distributed Applications Eric Madelaine work with Isabelle Attali, Tomás Barros, Rabéa
218 views