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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Ei tiedossa
Otsikko	Software Engineering for Resilient Systems - 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
Toimittajat	A Gorbenko, A Romanovsky, V Kharchenko
Kustantaja	Springer
Sivut	79–93
ISBN (elektroninen)	978-3-642-40894-6
ISBN (painettu)	978-3-642-40893-9
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-642-40894-6_7
Tila	Julkaistu - 2013
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	International Workshop on Software Engineering for Resilient Systems, SERENE - 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013 Kesto: 3 lokak. 2013 → 4 lokak. 2013

Konferenssi

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

Pääsy asiakirjaan

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

Viittausmuodot

Prokhorova, I., Troubitsyna, E., & Laibinis, L. (2013). A Case Study in Refinement-Based Modelling of a Resilient Control System. teoksessa A. Gorbenko, A. Romanovsky, & V. Kharchenko (Toimittajat), Software Engineering for Resilient Systems - 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings (Sivut 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. julkaisussa A Gorbenko, A Romanovsky & V Kharchenko (toim), Software Engineering for Resilient Systems - 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings. Springer, Sivut 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. toim. / A Gorbenko; A Romanovsky; V Kharchenko. Springer, 2013. s. 79–93.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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 -

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