Formal Modeling and Analysis of Timed Systems: 12th International Conference, FO
66,04 €
The Modeling and Analysis of Mixed-Criticality Systems. - Data-Driven Statistical Learning of Temporal Logic Properties. - Anonymized Reachability of Hybrid Automata Networks. - Combined Global and Local Search for the Falsification of Hybrid Systems.
Jetzt bei Ebay: