Formal Techniques for Design and Development of Safety Critical Embedded Systems from Polychronous Models
Formally-based design and implementation techniques for complex safety-critical embedded systems are required not only to handle the complexity, but also to provide correctness guarantees. Traditional design approaches struggle to cope with complexity, and they generally require extensive testing to...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Published: |
Virginia Tech
2016
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10919/73483 |