6 search results - page 2 / 2 » Fast On-the-Fly Parametric Real-Time Model Checking |
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...