Farkas Rebeka Krisztina OData support

Department of Measurement and Information Systems

Tags

arduino (1) · automaton learning (1) · code generation (1) · CPS (1) · Cypher (1) · formal verification (1) · Gamma (1) · graph database (1) · graph pattern matching (1) · MagicDraw (1) · Neo4j (1) · real-time automaton (1) · safety-critical systems (1) · statechart (1) · VIATRA (1) · VIATRA Query (1) · Yakindu (1)

Theses

3 theses in total.  View all theses »

By degree:

By semester: