NATIONAL BIBLIOGRAPHY NUMBER
Number
ebl202214712
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
eng
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
critical systems :-Formal techniques for safety
Other Title Information
:7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised selected papers /
.PUBLICATION, DISTRIBUTION, ETC
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
, 2020.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
e
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science) ; Congresses. ;
PERSONAL NAME - PRIMARY RESPONSIBILITY
;-Hasan, Osman, ; 1975
old catalog
