Del 9128
Formal Methods for Industrial Critical Systems
20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
AvMatthias Gudemann,Manuel Nunez
E-bok
PDF, Engelska, 2015629 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.
The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Go Where the Bugs Are
Alexander Schiendorfer, Gerhard Schellhorn, Hella Ponsar, Frank Ortmeier, Florian Nafz, Alexander Knapp, Matthias Gudemann, Gidon Ernst
E-bok
2025993 kr
Modern Approaches for Intelligent Information and Database Systems
Andrzej Sieminski, Adrianna Kozierkiewicz, Manuel Nunez, Quang Thuy Ha
Häftad, 2019
1 667 kr
Computational Collective Intelligence
Bogdan Trawinski, David Camacho, Ngoc Thanh Nguyen, Manuel Nunez
E-bok
2015668 kr
Del 15765
Go Where the Bugs Are
Gidon Ernst, Matthias Güdemann, Alexander Knapp, Florian Nafz, Frank Ortmeier, Hella Ponsar, Gerhard Schellhorn, Alexander Schiendorfer
Häftad, 2025
813 kr
Advances in Computational Collective Intelligence
Adrianna Kozierkiewicz, Gottfried Vossen, Jan Treur, Manuel Nunez, Andre Ludwig, Bogdan Franczyk, Ngoc-Thanh Nguyen
E-bok
20241 180 kr
Applying Formal Methods: Testing, Performance, and M/E-Commerce
Fernando Rubio, Key Pousttchi, Fernando Pelayo, Zakaaria Maamar, Manuel Nunez
E-bok
2004708 kr