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

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

Original language	Undefined/Unknown
Title of host publication	Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings
Editors	F Bitsch, J Guiochet, M Kaâniche
Publisher	Springer
Pages	57–69
ISBN (Electronic)	978-3-642-40793-2
ISBN (Print)	978-3-642-40792-5
DOIs	https://doi.org/10.1007/978-3-642-40793-2_6
Publication status	Published - 2013
MoE publication type	A4 Article in a conference publication
Event	International Conference on Computer Safety, Reliability, and Security, SAFECOMP - 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013 Duration: 24 Sept 2013 → 27 Sept 2013

Conference

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

Access to Document

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

Cite this

Prokhorova, I., Troubitsyna, E., Laibinis, L., Ilić, D., & Latvala, T. (2013). Formalisation of an Industrial Approach to Monitoring Critical Data. In F. Bitsch, J. Guiochet, & M. Kaâniche (Eds.), Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings (pp. 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. in F Bitsch, J Guiochet & M Kaâniche (eds), Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings. Springer, pp. 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. ed. / F Bitsch; J Guiochet; M Kaâniche. Springer, 2013. p. 57–69.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › 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 - Konferensbidrag

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. In Bitsch F, Guiochet J, Kaâniche M, editors, Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings. Springer. 2013. p. 57–69 doi: 10.1007/978-3-642-40793-2_6