Login / Signup
Guest editorial: Special issue on modeling, verification and testing of dependable critical systems.
Yassine Ouhammou
Abderrahim Ait Wakrime
Published in:
J. Syst. Archit. (2021)
Keyphrases
</>
special issue
international journal
ai edam
ecml pkdd
applied intelligence
formal methods
computer systems
special section
expert systems
management system
machine learning
intelligent systems
test cases
complex systems
model checking
asynchronous circuits