×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [executable models]
Programming Languages 1. Introduction Prof. O. Nierstrasz Spring Semester 2010
225 views
Chess Review November 21, 2005 Berkeley, CA Edited and presented by Advanced Tool Architectures Edward A. Lee UC Berkeley
219 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
217 views
Design For Safety Maggie Stringfellow. Process Overview
236 views
A Static Approach to Consistency Verification of UML Models Andrea Baruzzo
[email protected]
Department of Computer Science University of Udine MoDeV
217 views
В.П. Иванников, А.С. Камкин М.М. Чупилко
63 views
Software Modelling & Design Summary.pdf
39 views
Computational Physics Kepler
49 views
Operational Semantics of Hybrid Systems
46 views
Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces
55 views
< Prev
Next >