Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Sym
67,47 €
A finite-domain semantics for testing temporal logic specifications. - A modular visual model for hybrid systems. - Automated stream-based analysis of fault-tolerance. - Static analysis to identify invariants in RSML specifications.
Jetzt bei Ebay:
