A Case Study in Refinement-Based Modelling of a Resilient Control System

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis
Redaktörer: Gorbenko A, Romanovsky A, Kharchenko V
Förläggare: Springer-Verlag Berlin Heidelberg
Publiceringsår: 2013
Förläggare: Springer
Moderpublikationens namn: Software Engineering for Resilient Systems - 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
Seriens namn: Lecture Notes in Computer Science
Volym: 8166
Artikelns första sida, sidnummer: 79
Artikelns sista sida, sidnummer: 93
ISBN: 978-3-642-40893-9
eISBN: 978-3-642-40894-6
ISSN: 0302-9743

Senast uppdaterad 2019-16-09 vid 05:30