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 423 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

906 kr

Formal Methods

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

Häftad

987 kr

Runtime Verification

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

Häftad

552 kr