×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [parameterized systems]
Home >
parameterized systems
Abstractions. Outline Informal intuition Why do we need abstraction? What is an abstraction and what is not an abstraction A framework for abstractions.
215 views
System-level Exploration for Pareto- optimal Configurations in Parameterized Systems-on-a-chip Architectures Tony Givargis (Frank Vahid, Jörg Henkel) Center.
227 views
Model-based Methods for Web Service Verification.
232 views
Live Sequence Charts and the Play-In/Play-Out Approach Hillel Kugler New York University Work by David Harel, Rami Marelly and others Software Engineering.
213 views
Presented by Maya Arbel , May 2012
20 views
Model-based Methods for Web Service Verification
20 views