×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [executable models]
Home >
executable models
Chess Review November 21, 2005 Berkeley, CA Edited and presented by Advanced Tool Architectures Edward A. Lee UC Berkeley.
217 views
Computational Physics Kepler Dr. Guy Tel-Zur. This presentations follows “The Getting Started with Kepler” guide. A tutorial style manual for scientists.
217 views
Models of Computation as Program Transformations Chris Chang cbc@eecs.
214 views
Operational Semantics of Hybrid Systems Edward A. Lee and Haiyang Zheng With contributions from: Adam Cataldo, Jie Liu, Xiaojun Liu, Eleftherios Matsikoudis.
216 views
Design For Safety Maggie Stringfellow. Process Overview.
232 views
A Static Approach to Consistency Verification of UML Models Andrea Baruzzo
[email protected]
Department of Computer Science University of Udine MoDeV.
214 views
В.П. Иванников, А.С. Камкин М.М. Чупилко
50 views
Software Modelling & Design Summary.pdf
24 views
Computational Physics Kepler
44 views
Operational Semantics of Hybrid Systems
39 views
Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces
50 views
Informatica Vol. 3, No. 1, 2011
227 views
< Previous
Next >