Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification bei Mercateo günstig kaufen

Produktinformationen

Artikel-Nr.:
5667A-9783030187439

Hersteller:
Springer Verlag

Herst.-Nr.:
9783030187439

EAN/GTIN:
9783030187439

Suchbegriffe:

Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings

Weitere Informationen:


Author:	Simon Collart-Dutilleul; Thierry Lecomte; Alexander Romanovsky
Verlag:	Springer International Publishing
Sprache:	eng

Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, verification, validation, formal methods, security, reliability, certification, model-checking, Event-B, railway, signaling, interlocking