Dataset - CKAN

Logico-Numerical Verification Methods for Discrete and Hybrid Systems

This thesis studies the automatic verification of safety properties of logico-numerical discrete and hybrid systems. These systems have Boolean and numerical variables...
- HTML

You can also access this registry using the API (see API Docs).