Tóth Tamás OData support

Department of Measurement and Information Systems

Tags

abstraction (1) · automaton learning (1) · c program (1) · compiler (1) · formal methods (1) · formal verification (2) · graph database (1) · graph pattern matching (1) · IC3 (1) · model abstraction (1) · model checking (1) · optimizations (1) · PDR (1) · program slicing (1) · Property Directed Reachability (1) · view models (1)

Theses

3 theses in total.  View all theses »

By degree:

By semester: