Formal Modeling and Analysis of Timed Systems
-15%
portes grátis
Formal Modeling and Analysis of Timed Systems
15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Geeraerts, Gilles; Abate, Alessandro
Springer International Publishing AG
08/2017
353
Mole
Inglês
9783319657646
15 a 20 dias
5504
Descrição não disponível.
Hybrid systems.- Probabilistic models.- Quantitative logics and monitoring.- Reachability Analysis.- Testing and simulation.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
software engineering;semantics;model checking;specifications;timed automata;comnputer software selection;algorithm analysis and problem complexity
Hybrid systems.- Probabilistic models.- Quantitative logics and monitoring.- Reachability Analysis.- Testing and simulation.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
