Assurances for Self-Adaptive Systems
Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antonia Lopes, Javier Camara, Rogerio de Lemos
Häftad
709 kr
Del 12226 - Lecture Notes in Computer Science
Software Engineering and Formal Methods
SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
Häftad, Engelska, 2020
989 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. They stem from the following workshops:CoSim-CPS 2019 – 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems;
Produktinformation
- Utgivningsdatum2020-09-10
- Mått155 x 235 x 16 mm
- Vikt441 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor277
- FörlagSpringer Nature Switzerland AG
- ISBN9783030575052
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Formal Methods for Open Object-Based Distributed Systems
Martin Steffen, Gianluigi Zavattaro
Häftad
709 kr
Hat die Rede von Gott noch Zukunft?
Michael Jochim, Dieter Rehmann, Matthias Sellmann, Martin Steffen
Inbunden
349 kr
Del 14485
Concurrency, Compositionality, and Correctness
Dennis Dams, Ulrich Hannemann, Martin Steffen
Häftad
719 kr
Software Architecture
Henry Muccini, Paris Avgeriou, Barbora Buhnova, Javier Camara, Mauro Caporuscio, Mirco Franzago, Anne Koziolek, Patrizia Scandurra, Catia Trubiani, Danny Weyns, Uwe Zdun
Häftad
1 409 kr