Verification using counterexample fragment based...

IET Cyber-Physical Systems: Theory & Applications 2017 / 07 Vol. 2; Iss. 2

Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata

Ren, Hao, Huang, Jing, Jiang, Shengbing, Kumar, Ratnesh
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
2
Language:
english
Journal:
IET Cyber-Physical Systems: Theory & Applications
DOI:
10.1049/iet-cps.2016.0042
Date:
July, 2017
File:
PDF, 2.18 MB
english, 2017
Conversion to is in progress
Conversion to is failed