University of Limerick Institutional Repository

The design methodology for the verification of hybrid dynamical systems

DSpace Repository



Files in this item

This item appears in the following Collection(s)

Search ULIR


Browse

My Account

Statistics