Iterative algorithms for formal verification of embedded real-time systems
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
Specification and analysis of real-time systems with PARAGON
Annals of Software Engineering
Engineering of distributed control systems
An Inverse Method for Parametric Timed Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
The localization reduction and counterexample-guided abstraction refinement
Time for verification
| Hi-index | 0.00 |