Sciweavers

Share
6 search results - page 2 / 2
» Fast On-the-Fly Parametric Real-Time Model Checking
Sort
View
DATE
2008
IEEE
103views Hardware» more  DATE 2008»
12 years 8 months ago
Compositional design of isochronous systems
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
Jean-Pierre Talpin, Julien Ouy, Loïc Besnard,...
books