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

Iuliia Prokhorova, Elena Troubitsyna, Linas Laibinis

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

Original languageUndefined/Unknown
Title of host publicationSoftware Engineering for Resilient Systems - 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
EditorsA Gorbenko, A Romanovsky, V Kharchenko
PublisherSpringer
Pages79–93
ISBN (Electronic)978-3-642-40894-6
ISBN (Print)978-3-642-40893-9
DOIs
Publication statusPublished - 2013
MoE publication typeA4 Article in a conference publication
EventInternational Workshop on Software Engineering for Resilient Systems, SERENE - 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013
Duration: 3 Oct 20134 Oct 2013

Conference

ConferenceInternational Workshop on Software Engineering for Resilient Systems, SERENE
Period03/10/1304/10/13

Cite this