6 search results - page 2 / 2 » Fast On-the-Fly Parametric Real-Time Model Checking |
DATE
2008
IEEE
14 years 2 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...