Formal Modeling and Analysis for Interactive Hybrid Systems

TitleFormal Modeling and Analysis for Interactive Hybrid Systems
Publication TypeConference Paper
AuthorsBass, E. J., K. M. Feigh, E. L. Gunter, and J. Rushby
Map of Cognitive Engineering Center

Cognitive Engineering Center (CEC)
Georgia Institute of Technology
270 Ferst Drive
Atlanta GA 30332-0150