TY  - GEN
AU  - Artho, Cyrille,
AU  - Ölveczky, Peter Csaba,
CN  - QA76.9.F67
DO  - 10.1007/978-3-030-12988-0
DO  - doi
ID  - 862935
KW  - Formal methods (Computer science)
KW  - System safety
KW  - Systems engineering
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-12988-0
N1  - Includes author index.
SN  - 9783030129880
SN  - 3030129888
T1  - Formal techniques for safety-critical systems :6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised selected papers /
TI  - Formal techniques for safety-critical systems :6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised selected papers /
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-12988-0
VL  - 1008
ER  -