0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • R2,500 - R5,000 (1)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3,... Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings (Paperback, 1st ed. 2020)
Nathalie Bertrand, Nils Jansen
R1,586 Discovery Miles 15 860 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers focus on topics such as foundations and semantics, methods and tools, techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints. Due to the Corona pandemic this conference was held as a virtual event.

Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017,... Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings (Paperback, 1st ed. 2017)
Nathalie Bertrand, Luca Bortolussi
R2,714 Discovery Miles 27 140 Ships in 10 - 15 working days

This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and performance modeling; parametric verification; machine learning and formal methods; tools.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Professor Snape Wizard Wand - In…
 (8)
R832 Discovery Miles 8 320
Vital BabyŽ NURTURE™ Protect & Care…
R123 R95 Discovery Miles 950
Pokémon Go Plus +
 (1)
R1,499 R1,369 Discovery Miles 13 690
Bostik Clear (50ml)
R57 Discovery Miles 570
KN95 Disposable Face Mask (White)(Box of…
R1,890 R659 Discovery Miles 6 590
Russia In Africa - Resurgent Great Power…
Samuel Ramani Paperback R380 R297 Discovery Miles 2 970
Lucky Define - Plastic 3 Head…
R390 Discovery Miles 3 900
Hot Wheels Aluminium Bottle…
R129 R99 Discovery Miles 990
The Other Guest
Heidi Perks Paperback R379 Discovery Miles 3 790
Peptine Pro Canine/Feline Hydrolysed…
R359 R279 Discovery Miles 2 790

 

Partners