Search: (more)
Header

Search Result

2013

BibTeX Search WWW PDF   [LiBS13a]
X. Li and K. Bauer and K. Schneider
Interactive Verification of Cyber-physical Systems Interfacing Averest and KeYmaera
Presentation