Model-Driven Engineering Languages and Systems
Peter Clarke, Antonio Vallecillo, Jeff Gray, Bernhard Schatz, Ana Moreira
E-bok
2013708 kr
Formal Methods for Industrial Critical Systems
16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings
E-bok
PDF, Engelska, 2011734 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 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011.The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Model-Based Engineering of Embedded Real-Time Systems
Bernhard Schatz, Bernhard Rumpe, Edward A. Lee, Gabor Karsai, Holger Giese
E-bok
2010734 kr
- Signerad!
- -30%
Del 2
- -30%
Del 1
- -19%
- -17%
Del 2
- -23%
- 4 för 3
- 4 för 3