Molnár Vince OData támogatás

Méréstechnika és Információs Rendszerek Tanszék

Kulcsszavai

.NET (1) · állapot elérhetőség (1) · állapotgép (3) · állapotgép kompozíció (3) · állapotmodell (1) · állapottér bejárás (1) · állapottér robbanás (2) · Bayesi optimalizáció (1) · C++ (1) · Cygwin (1) · csomagolóosztály (1) · Eclipse (1) · elosztott (1) · elosztott alkalmazás (1) · explicit (1) · formális verifikáció (2) · Gamma (1) · Gauss folyamat (1) · heurisztika (1) · hierarchikus döntési diagram (1) · időzített automata (1) · irányított keresés (1) · Java (1) · keresés alapú szoftverfejlesztés (1) · keretrendszer (1) · kódgenerálás (3) · kódgenerátor (1) · LTSmin (1) · modellellenőrzés (3) · modellezési nyelvek (1) · modelltranszformáció (3) · mqtt (1) · nézeti modellek (1) · optimalizáló algoritmusok (1) · paraméter optimalizáció (1) · Petri háló (1) · PetriDotNet (1) · Petri-háló (1) · PINS (1) · részleges rendezés redukció (1) · szakdolgozat (1) · szimbolikus modellellenőrzés (1) · sztochasztikus modell (1) · sztochasztikus Petri-háló (1) · tervezési folyamat (1) · tervezésitér-bejárás (1) · üzenetsor (1) · validáció (2) · Xtend (1) · Xtext (1) · Yakindu (1)

Témái

Összesen 9 szakdolgozat és diplomaterv.  Összes téma megtekintése »

Képzés szerint:

Szak szerint:

Félév szerint: