Molnár Vince OData support

Department of Measurement and Information Systems

Tags

.NET (1) · Bayes optimization (1) · change-driven model transformations (1) · code generation (3) · code generator (1) · Cygwin (1) · design process (1) · design space exploration (1) · directed search (1) · distributed (1) · distributed application (1) · Eclipse (1) · explicit (1) · formal verification (2) · framework (1) · Gamma (1) · Gauss process (1) · heuristics (1) · Java (1) · LTSmin (1) · Message Queue (1) · model checking (3) · modeling languages (1) · modeltransformarmation (2) · mqtt (1) · optimization algorithm (1) · parameter optimization (1) · partial order reduction (1) · Petri net (2) · PetriDotNet (1) · PINS (1) · reachability (1) · search based software engineering (1) · set decision diagram (1) · state machine (1) · state space exploration (1) · state space explosion (1) · statechart (2) · statechart composition (3) · state-space (1) · stochastic model (1) · stochastic petri-net (1) · symbolic model checking (1) · timed automata (1) · validation (2) · view models (1) · wrapper (1) · Xtend (1) · Xtext (1) · Yakindu (1)

Theses

9 theses in total.  View all theses »

By degree:

By semester: