Open AccessGuest Editorial
Author(s) -
Yu Huafeng,
Bak Stanley,
Li Xin,
Pasareanu Corina,
S Ramesh,
Zhu Qi
Publication year - 2017
Publication title -
iet cyber‐physical systems: theory and applications
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.308
H-Index - 7
ISSN - 2398-3396
DOI - 10.1049/iet-cps.2017.0092
Subject(s) - cyber physical system , computer science , model checking , software engineering , context (archaeology) , aerospace , formal verification , software , embedded software , systems engineering , avionics , engineering , operating system , programming language , paleontology , biology , aerospace engineering