×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [reactive systems]
Home >
reactive systems
rr089
77 views
Formal Methods in Testing Software Architectures
765 views
Green Chemistry
3.848 views
Real time systems
24 views
Activity Coefficient Calculation for Binary Systems Using UNIQUAC
415 views
Getting Started with OpenSplice and Esper
2.528 views
Dataflow: the concurrency/parallelism architecture you need
171 views
1 Verification by Model Checking. 2 Part 1 : Motivation.
220 views
International Telecommunication Union © ITU-T Study Group 17 Integrated Application of URN Daniel Amyot University of Ottawa, Canada
[email protected]
.
213 views
Modeling Software Systems Lecture 2 Book: Chapter 4.
225 views
Chapter 20- Embedded Systems Lecture 1. Topics covered Embedded systems design Architectural patterns Timing analysis Real-time operating systems.
228 views
Model Transformation Verification: some theory and some practice Levi Lúcio MSDL Lab / NECSIS project McGill University.
213 views
Next >