<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-09-13 04:09:31Software development Formal methods Software Scientific modeling Modeling and Analysis of Real Time and Embedded systems Modelio Model-driven architecture Model-driven engineering Modeling language Unified Modeling Language Systems engineering Software engineering |
| Advancing Traffic Efficiency and Safety through Software Technology, Phase 2 (ATESST2) ForewordDocID: 1r55z - View Document |
| Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D11DocID: 1qL53 - View Document |
| Building Models of Real-Time Systems from Application Software JOSEPH SIFAKIS, STAVROS TRIPAKIS, ASSOCIATE MEMBER, IEEE, AND SERGIO YOVINE Invited Paper We present a methodology for building timed models of real-timeDocID: 1qG6E - View Document |
| MAST: Modeling and Analysis Suite for Real-Time Systems Universidad de Cantabria Lund, July 2015 www.istr.unican.esDocID: 1oVd8 - View Document |
| PDF DocumentDocID: 192fJ - View Document |