NASA Formal Methods / Lecture Notes in Computer Science Bd.13260 (PDF)
The 33 full and 6 short papers presented in this volume were carefully reviewed and...
64 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
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 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 invited papers.
The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model checking; use of machine learning and probabilistic reasoning in formal methods; formal methods and graphical modeling languages such as SysML or UML; usability of formal method tools and application in industry, etc.
- 2022, 1st ed. 2022, 828 Seiten, Englisch
- Herausgegeben: Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez
- Verlag: Springer Nature Switzerland
- ISBN-10: 3031067738
- ISBN-13: 9783031067730
- Erscheinungsdatum: 19.05.2022
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 52 MB
- Ohne Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "NASA Formal Methods / Lecture Notes in Computer Science Bd.13260".
Kommentar verfassen