NASA Formal Methods

14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings

AvJyotirmoy V. Deshmukh,Klaus Havelund

Häftad, Engelska, 2022

1 432 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. formal methods and graphical modeling languages such as SysML or UML;

Produktinformation

Utforska kategorier

Innehållsförteckning

Hoppa över listan

Du kanske också är intresserad av

NASA Formal Methods

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez

Häftad, 2021

912 kr

NASA Formal Methods

Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi

Häftad, 2011

556 kr

Formal Methods

Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink

Häftad, 2018

994 kr

Runtime Verification

Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann

Häftad, 2010

556 kr