Deep search:Searching for "Formal verification" in 'KEYWORDGot 2 items.
index Title
1Validation of static properties in unified modeling language models for cyber physical systems
Author(s):Gabriela Magureanu, Madalin Gavril...  Clicked:4125  Download:1924  Cited:2  <Full Text>
Journal of Zhejiang University Science C  2013 Vol.14 No.5 P.332-346  DOI:10.1631/jzus.C1200263
2A new hierarchical software architecture towards safety-critical aspects of a drone system
Author(s):Xiao-rui Zhu, Chen Liang, Zhen-guo...  Clicked:1700  Download:330  Cited:0  <Full Text>  <PPT> 142
Frontiers of Information Technology & Electronic Engineering  2019 Vol.20 No.3 P.353-362  DOI:10.1631/FITEE.1800636
Journal of Zhejiang University-SCIENCE, 38 Zheda Road, Hangzhou 310027, China
Tel: +86-571-87952783; E-mail: cjzhang@zju.edu.cn
Copyright © 2000 - Journal of Zhejiang University-SCIENCE