Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Formal Modeling and Analysis of Timed Systems
E-bok,
2018,
Engelska,
ISBN 9783030001513
This book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in …
Quantitative Evaluation of Systems
E-bok,
2020,
Engelska,
ISBN 9783030598549
This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020. The 12 …