9783319657646 - Formal Modeling and Analysis of Timed Systems Kartoniert (TB)

EAN: 9783319657646

Produktdaten aktualisiert am: 15.11.2025
Hersteller: - Hersteller-ArtNr. (MPN): - ASIN: 331965764X 
This book constitutes the refereed proceedings of the 15th International Conference on Formal
Modeling and Analysis of Timed Systems  FORMATS 2017  held in Berlin  Germany  in September
2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed
systems  and to bring together researchers from different disciplines that share interests in
modelling and analysis of timed systems and  as a generalization  hybrid systems.

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis:

Loading
Barcode:
9783319657646
QR-Code:
Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
ean-shopping.de - es werden keine Cookies verwendet - Impressum