Dr. Majzik István OData support

Department of Measurement and Information Systems

Tags

.NET (1) · 5G mobile networks (1) · Android platform (1) · ANTLR (1) · architectural design (1) · architecture (1) · automata (1) · automatic code generation (2) · automatic software testing (1) · C# (1) · CAN (1) · CATES (1) · code coverage (1) · code generation (1) · collaborative drawing (1) · communication protocol (1) · context-aware systems (1) · continuous integration (1) · CTL (1) · CSS2 (1) · dependability analysis (1) · EBNF (1) · embedded controller (1) · embedded system (1) · FabricJs (1) · formal methods (1) · GUI (1) · hardver in the loop (1) · HIL (1) · IEEE 1588 (1) · integration test (1) · ios platform (1) · Java 8 (1) · Java development (2) · JavaScript (1) · Jenkins (1) · Live Sequence Chart (1) · LSC (1) · model based testing (2) · model checking (1) · model validation (1) · model-based testing (1) · MongoDB (1) · monitor synthesis (2) · monitoring (2) · monitoring system (1) · network monitoring (1) · observation (1) · ontology (1) · optimization (1) · performance regression (1) · performance test tool (1) · performance testing (1) · PTPv2 (1) · requirement engineering (1) · requirement specification (1) · Robot Operating System (1) · ROS (1) · Runtime verification (4) · safety-critical embedded systems (1) · semantic technologies (1) · software developement (1) · software testing (4) · Spec Explorer (1) · specification formalization (1) · Spring Boot (1) · Spring Data (1) · Spring framework (1) · Spring MVC (1) · Spring Security (1) · SSH (1) · stochastic petri-net (1) · system modeling (1) · temporal logic (3) · temporal logic expressions (1) · test coverage measurement (2) · test generation (1) · three-valued logic (1) · UPPAAL (2) · verification (1) · visualization (1) · WebSocket (1)

Theses

20 theses in total.  View all theses »

By degree:

By semester: