HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata
Chapter
- Overview
- Identity
- Additional document info
- View All
MIU ScholarsIO
Established by 
is a research-focused discovery tool that enables collaboration among scientists across all disciplines.
Browse or search information on people, departments, courses, grants, and publications.