Dr. Vörös András OData support

Department of Measurement and Information Systems

Tags

.NET (1) · .NET Framework (1) · abstract interpretation (1) · abstraction (3) · algorithm (1) · Amazon cloud (1) · Amazon Virtual Private Cloud (1) · ASP.NET MVC (1) · asynchronous systems (1) · automatic code generation (1) · autonomous (1) · block (1) · bounded model checking (3) · C (1) · C# (1) · CEGAR (3) · cep (1) · cloud (1) · Cloud infrastructure (1) · code generation (2) · comparison (1) · complex event processing (4) · computer vision (1) · constrained saturation (1) · cooperation (1) · course evaluation (1) · CPS (1) · cyber-physical systems (3) · data processing (1) · distance measuring (1) · distributed (1) · distributed algorithm (1) · distributed data processing (1) · Distributed systems (3) · dReach (1) · dReal (1) · Drools (1) · DSL (1) · Eclipse (2) · Eclipse Kura (1) · Eclipse plugin (1) · Eclipse Vorto (1) · Editor (1) · efficient (1) · embedded systems (1) · EMF-IncQuery (1) · Entity Framework (1) · error propagation (1) · extensible (1) · Extension handler component (1) · Extension handling (1) · finite state machine (1) · Flink (1) · formal method (1) · formal methods (2) · formal verification (6) · framework (2) · gateway (1) · GDI (1) · graph pattern matching (2) · graph sorting algorithms (1) · graphs (1) · hybrid (1) · hybrid automaton (1) · hybrid system (1) · IEEE 802.15.4 (1) · Internet of Things (1) · IoT (1) · Java (1) · Kronecker (1) · linear (1) · linear transition system (1) · LTL (2) · marker detection (1) · Markov chain (1) · metamodeling (1) · Microsoft .Net 4.0 (1) · model (1) · Model Based Design (1) · model based software development (1) · model based systems engineering (1) · model checking (11) · model driven development (1) · model transformation (1) · Model-Based Design (1) · model-driven software development (1) · modell checking (1) · monitoring (3) · numeric methods (1) · object tracking (1) · OpenCV (1) · parametric timed automata (3) · Partial order (1) · performance analysis (1) · Petri net (4) · Petri Nets (1) · PetriDotNet 2 (1) · PetriDotNet2 (2) · Petri-net (5) · plugin (1) · PWM (1) · Python (1) · reachability (1) · reachability analysis (2) · real-time (1) · reconfiguration (1) · redundancy (1) · regular expresions (1) · regular expressions (1) · reliability (1) · remote control (1) · REST API (1) · Runtime verification (6) · safety critical (1) · safety-critical systems (1) · saturation (5) · sensitivity analysis (1) · sequence diagram (1) · servo motor (1) · smart city (1) · SMT (1) · software modelling (1) · software update (1) · SpaceEx (1) · state machine (2) · statechart (1) · statecharts (3) · stochastic model (1) · symbolic model checking (1) · system modeling (1) · system state monitoring (1) · systems modeling (1) · temporal logic (3) · three-valued logic (1) · timed automata (1) · timed automaton (1) · timed Petri-net (1) · time-sensitive (1) · tools (1) · TWI (1) · UAV (1) · ultrasonic (1) · UML (3) · Unfolding (1) · UPPAAL (1) · validation (1) · verification (6) · VIATRA-CEP (1) · WCF (1) · Web-based application (1) · wireless communication (1) · WSO2 CEP (1) · Xtext (2) · xtUML (1)

Theses

47 theses in total.  View all theses »

By degree:

By semester: