Critical Systems: Formal Methods and Automated Verification Laure Petrucci
Titel: Critical Systems: Formal Methods and Automated Verification, Untertitel: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings, Einband: Taschenbuch, Autor: Laure Petrucci, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 252, Maße: 235x155x14 mm, Gewicht: 388 g, Verkäufer: buch-mimpf, Schlagworte: Programmieren (EDV) Robotics Software Engineering Specification computer software selection and evaluation model checking real-time schedulability runtime adaption software verification and validation temporal logic.
Jetzt bei Ebay:
