[IEEE 2019 IEEE 2nd International Conference on Information and Computer Technologies (ICICT) - Kahului, HI, USA (2019.3.14-2019.3.17)] 2019 IEEE 2nd International Conference on Information and Computer Technologies (ICICT) - A Survey of Formal Specification Application to Safety Critical Systems
Nanda, Smruti Priyambada, Grant, Emanuel S.Year:
2019
DOI:
10.1109/INFOCT.2019.8711369
File:
PDF, 2.05 MB
2019