NASA Formal Methods
Dimitra Giannakopoulou, Anastasia Mavridou, Susmit Jha, Ritchie Lee
E-bok
20201 059 kr
Software Engineering and Formal Methods
12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
AvDimitra Giannakopoulou,Gwen Salaün
Häftad, Engelska, 2014
Del 8702 i serien Lecture Notes in Computer Science
562 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Del 13077
Del 8471
Verified Software: Theories, Tools and Experiments
Dimitra Giannakopoulou, Daniel Kroening
Häftad, 2014
539 kr
Fundamental Approaches to Software Engineering
Dimitra Giannakopoulou, Fernando Orejas
Häftad, 2011
562 kr
Del 11176
Software Technologies: Applications and Foundations
Manuel Mazzara, Iulian Ober, Gwen Salaün
Häftad, 2018
562 kr
From Data to Models and Back
Livia Lestingi, Gwen Salaün, José Ignacio Requeno Jarabo
Häftad, 2026
621 kr