Back to Search Start Over

STL model checking of continuous and hybrid systems

Authors :
H. Roehm, J. Oehlerking, T. Heinz, and M. Althoff
Publication Year :
2015

Subjects

Subjects :
ddc

Details

Database :
OpenAIRE
Accession number :
edsair.od.......518..c001f798d14a7960bfb40c47467f719a

Tools

Authors Abstract Subjects Details