Deep search:Searching for "Formal verification" in 'KEYWORDGot 3 items.
index Title
1Validation of static properties in unified modeling language models for cyber physical systems
Author(s):Gabriela Magureanu, Madalin Gavril...  Clicked:8905  Download:3661  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:5975  Download:2249  Cited:0  <Full Text>  <PPT> 1664
Frontiers of Information Technology & Electronic Engineering  2019 Vol.20 No.3 P.353-362  DOI:10.1631/FITEE.1800636
3A cooperative heterogeneous vehicular clustering framework for efficiency improvement
Author(s):Iftikhar Ahmad, Rafidah Md Noor, Z...  Clicked:5982  Download:9425  Cited:0  <Full Text>
Frontiers of Information Technology & Electronic Engineering  2021 Vol.22 No.9 P.1247-1259  DOI:10.1631/FITEE.2000260
Journal of Zhejiang University-SCIENCE, 38 Zheda Road, Hangzhou 310027, China
Tel: +86-571-87952783; E-mail: cjzhang@zju.edu.cn
Copyright © 2000 - 2024 Journal of Zhejiang University-SCIENCE