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

Iuliia Prokhorova; Elena Troubitsyna; Linas Laibinis

doi:10.1007/978-3-642-40894-6_7

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

Iuliia Prokhorova, Elena Troubitsyna, Linas Laibinis

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	Software Engineering for Resilient Systems - 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
Editors	A Gorbenko, A Romanovsky, V Kharchenko
Publisher	Springer
Pages	79–93
ISBN (Electronic)	978-3-642-40894-6
ISBN (Print)	978-3-642-40893-9
DOIs	https://doi.org/10.1007/978-3-642-40894-6_7
Publication status	Published - 2013
MoE publication type	A4 Article in a conference publication
Event	International Workshop on Software Engineering for Resilient Systems, SERENE - 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013 Duration: 3 Oct 2013 → 4 Oct 2013

Conference

Conference	International Workshop on Software Engineering for Resilient Systems, SERENE
Period	03/10/13 → 04/10/13

Access to Document

10.1007/978-3-642-40894-6_7

Cite this

Prokhorova, I., Troubitsyna, E., & Laibinis, L. (2013). A Case Study in Refinement-Based Modelling of a Resilient Control System. In A. Gorbenko, A. Romanovsky, & V. Kharchenko (Eds.), Software Engineering for Resilient Systems - 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings (pp. 79–93). Springer. https://doi.org/10.1007/978-3-642-40894-6_7

@inproceedings{10821753d8b449069056c849568a7ef6,

title = "A Case Study in Refinement-Based Modelling of a Resilient Control System",

author = "Iuliia Prokhorova and Elena Troubitsyna and Linas Laibinis",

year = "2013",

doi = "10.1007/978-3-642-40894-6_7",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-642-40893-9",

pages = "79–93",

editor = "A Gorbenko and A Romanovsky and V Kharchenko",

booktitle = "Software Engineering for Resilient Systems - 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings",

publisher = "Springer",

note = "International Workshop on Software Engineering for Resilient Systems, SERENE ; Conference date: 03-10-2013 Through 04-10-2013",

}

Prokhorova, I, Troubitsyna, E & Laibinis, L 2013, A Case Study in Refinement-Based Modelling of a Resilient Control System. in A Gorbenko, A Romanovsky & V Kharchenko (eds), Software Engineering for Resilient Systems - 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings. Springer, pp. 79–93, International Workshop on Software Engineering for Resilient Systems, SERENE, 03/10/13. https://doi.org/10.1007/978-3-642-40894-6_7

A Case Study in Refinement-Based Modelling of a Resilient Control System. / Prokhorova, Iuliia; Troubitsyna, Elena; Laibinis, Linas.
Software Engineering for Resilient Systems - 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings. ed. / A Gorbenko; A Romanovsky; V Kharchenko. Springer, 2013. p. 79–93.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

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

AU - Prokhorova, Iuliia

AU - Troubitsyna, Elena

AU - Laibinis, Linas

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-40894-6_7

DO - 10.1007/978-3-642-40894-6_7

M3 - Konferensbidrag

SN - 978-3-642-40893-9

SP - 79

EP - 93

BT - Software Engineering for Resilient Systems - 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

A2 - Gorbenko, A

A2 - Romanovsky, A

A2 - Kharchenko, V

PB - Springer

T2 - International Workshop on Software Engineering for Resilient Systems, SERENE

Y2 - 3 October 2013 through 4 October 2013

ER -