Hajdu Ákos OData support

Department of Measurement and Information Systems

Tags

abstract interpretation (1) · abstraction (1) · CEGAR (2) · hierarchical (1) · reachability analysis (1) · SAT (1) · SMT (1) · software verification (1) · statecharts (1) · static analysis (1) · verfication (1)

Theses

3 theses in total.  View all theses »

By degree:

By semester: