TY  - GEN
DO  - 10.1007/978-3-030-46902-3
DO  - doi
T1  - Formal techniques for safety-critical systems :7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised selected papers /
AU  - Hasan, Osman,
AU  - Mallet, Frédéric,
VL  - 1165
CN  - QA76.9.F67
N1  - Includes author index.
ID  - 931991
KW  - Formal methods (Computer science)
KW  - System safety
KW  - Systems engineering
SN  - 9783030469023
SN  - 3030469026
TI  - Formal techniques for safety-critical systems :7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised selected papers /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-46902-3
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-46902-3
ER  -