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

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis
Editors: Gorbenko A, Romanovsky A, Kharchenko V
Publisher: Springer-Verlag Berlin Heidelberg
Publication year: 2013
Publisher: Springer
Book title: Software Engineering for Resilient Systems - 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
Title of series: Lecture Notes in Computer Science
Volume number: 8166
Start page: 79
End page: 93
ISBN: 978-3-642-40893-9
eISBN: 978-3-642-40894-6
ISSN: 0302-9743

Last updated on 2019-20-07 at 06:57