DMCA
Logics for Hybrid Systems (2000)
by
J. M. Davoren
,
Anil Nerode
| Venue: | Proceedings of the IEEE |
| Citations: | 137 - 12 self |
BibTeX
@INPROCEEDINGS{Davoren00logicsfor,
author = {J. M. Davoren and Anil Nerode},
title = {Logics for Hybrid Systems},
booktitle = {Proceedings of the IEEE},
year = {2000},
publisher = {Springer-Verlag}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This paper offers a synthetic overview of, and original contributions to, the use of logics and formal methods in the analysis of hybrid systems
