Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Abate, Alessandro; Geeraerts, Gilles
Springer International Publishing AG
08/2017
353
Mole
Inglês
9783319657646
15 a 20 dias
5504