Formalisation of an Industrial Approach to Monitoring Critical Data

Iuliia Prokhorova; Elena Troubitsyna; Linas Laibinis; Dubravka Ilić; Timo Latvala

doi:10.1007/978-3-642-40793-2_6

Formalisation of an Industrial Approach to Monitoring Critical Data

Iuliia Prokhorova
, Elena Troubitsyna
, Linas Laibinis
, Dubravka Ilić
, Timo Latvala

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings
Redaktörer	F Bitsch, J Guiochet, M Kaâniche
Förlag	Springer
Sidor	57–69
ISBN (elektroniskt)	978-3-642-40793-2
ISBN (tryckt)	978-3-642-40792-5
DOI	https://doi.org/10.1007/978-3-642-40793-2_6
Status	Publicerad - 2013
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	International Conference on Computer Safety, Reliability, and Security, SAFECOMP - 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013 Varaktighet: 24 sep. 2013 → 27 sep. 2013

Konferens

Konferens	International Conference on Computer Safety, Reliability, and Security, SAFECOMP
Period	24/09/13 → 27/09/13

Åtkomst av dokument

10.1007/978-3-642-40793-2_6

Citera det här

Prokhorova, I., Troubitsyna, E., Laibinis, L., Ilić, D., & Latvala, T. (2013). Formalisation of an Industrial Approach to Monitoring Critical Data. I F. Bitsch, J. Guiochet, & M. Kaâniche (Red.), Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings (s. 57–69). Springer. https://doi.org/10.1007/978-3-642-40793-2_6

@inproceedings{baae777d67624c3d8d8d9a3e875ecf02,

title = "Formalisation of an Industrial Approach to Monitoring Critical Data",

author = "Iuliia Prokhorova and Elena Troubitsyna and Linas Laibinis and Dubravka Ili{\'c} and Timo Latvala",

year = "2013",

doi = "10.1007/978-3-642-40793-2\_6",

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

isbn = "978-3-642-40792-5",

pages = "57–69",

editor = "F Bitsch and J Guiochet and M Ka{\^a}niche",

booktitle = "Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings",

publisher = "Springer",

note = "International Conference on Computer Safety, Reliability, and Security, SAFECOMP ; Conference date: 24-09-2013 Through 27-09-2013",

}

Prokhorova, I, Troubitsyna, E, Laibinis, L, Ilić, D & Latvala, T 2013, Formalisation of an Industrial Approach to Monitoring Critical Data. i F Bitsch, J Guiochet & M Kaâniche (red), Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings. Springer, s. 57–69, International Conference on Computer Safety, Reliability, and Security, SAFECOMP, 24/09/13. https://doi.org/10.1007/978-3-642-40793-2_6

Formalisation of an Industrial Approach to Monitoring Critical Data. / Prokhorova, Iuliia; Troubitsyna, Elena; Laibinis, Linas et al.
Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings. red. / F Bitsch; J Guiochet; M Kaâniche. Springer, 2013. s. 57–69.

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

TY - GEN

T1 - Formalisation of an Industrial Approach to Monitoring Critical Data

AU - Prokhorova, Iuliia

AU - Troubitsyna, Elena

AU - Laibinis, Linas

AU - Ilić, Dubravka

AU - Latvala, Timo

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-40793-2_6

DO - 10.1007/978-3-642-40793-2_6

M3 - Publicerad konferensartikel

SN - 978-3-642-40792-5

SP - 57

EP - 69

BT - Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings

A2 - Bitsch, F

A2 - Guiochet, J

A2 - Kaâniche, M

PB - Springer

T2 - International Conference on Computer Safety, Reliability, and Security, SAFECOMP

Y2 - 24 September 2013 through 27 September 2013

ER -

Prokhorova I, Troubitsyna E, Laibinis L, Ilić D, Latvala T. Formalisation of an Industrial Approach to Monitoring Critical Data. I Bitsch F, Guiochet J, Kaâniche M, redaktörer, Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings. Springer. 2013. s. 57–69 doi: 10.1007/978-3-642-40793-2_6