rr089
Formal Methods in Testing Software Architectures
Green Chemistry
Real time systems
Activity Coefficient Calculation for Binary Systems Using UNIQUAC
Getting Started with OpenSplice and Esper
Dataflow: the concurrency/parallelism architecture you need
1 Verification by Model Checking. 2 Part 1 : Motivation.
International Telecommunication Union © ITU-T Study Group 17 Integrated Application of URN Daniel Amyot University of Ottawa, Canada [email protected].
Modeling Software Systems Lecture 2 Book: Chapter 4.
Chapter 20- Embedded Systems Lecture 1. Topics covered Embedded systems design Architectural patterns Timing analysis Real-time operating systems.
Model Transformation Verification: some theory and some practice Levi Lúcio MSDL Lab / NECSIS project McGill University.