Department of Artificial Intelligence and Systems Engineering
asynchronous systems (1) · automated test generation (1) · behavioral model (1) · C programming (1) · code generation (2) · code generator (1) · component-based architecture (1) · contract (1) · cyber-physical systems (1) · Eclipse plugin (1) · formal verification (4) · Gamma (1) · Gamma Framework (1) · heterogeneous architecture (1) · MDE (1) · model based code generation (1) · model based software development (1) · model checker (1) · model checking (2) · model driven software development (1) · model transformation (2) · model verification (1) · model-driven development (2) · Model-driven engineering (1) · modell-driven (1) · modelling framework (1) · monitoring (1) · OCRA (1) · Runtime verification (1) · scenarios (1) · SCXML (1) · SMV (1) · state-based systems engineering (1) · statechart (2) · statechart composition (2) · statecharts (1) · temporal logic (1) · test generation (2) · verification (1)
9 theses in total. View all theses »