Vörös András OData támogatás

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

Kulcsszavai

.NET (1) · .NET keretrendszer (1) · a dolgok internete (1) · absztrakció (3) · absztrakt interpretáció (1) · adatfeldolgozás (1) · algoritmus (1) · állapotgép (2) · állapotgépek (2) · állapottérkép (2) · Amazon felhő (1) · Amazon Virtual Private Cloud (1) · ASP.NET MVC (1) · AST (1) · aszinkron (1) · aszinkron rendszerek (2) · automatikus kódgenerálás (1) · autonóm (1) · beágyazott rendszerek (1) · biztonságkritikus rendszerek (2) · blokk (1) · bővíthető (1) · Bővítménykezelés (1) · Bővítménykezelő komponens (1) · C nyelv (1) · C# (1) · CEGAR (3) · cep (1) · CPS (1) · CTL (1) · dReach (1) · dReal (1) · DSL (1) · Eclipse (2) · Eclipse Kura (1) · Eclipse plugin (1) · Eclipse Vorto (1) · elérhetőség (1) · elérhetőségi analízis (2) · elosztott (1) · elosztott adatgyűjtő rendszer (1) · elosztott algoritmus (1) · Elosztott rendszerek (3) · EMF-IncQuery (1) · Entity Framework (1) · érzékenységvizsgálat (1) · felhő (1) · felhő-infrastruktúra (1) · formális módszer (1) · formális módszerek (2) · formális verifikáció (6) · Futásidejű verifikáció (6) · gateway (1) · GDI (1) · gépi látás (1) · gráf rendező algoritmusok (1) · gráfmintaillesztés (2) · gráfok (1) · háromértékű logika (1) · hatékony (1) · heurisztika (1) · hibaterjedés (1) · hibrid (1) · hibrid automata (1) · hibrid rendszer (1) · időérzékeny (1) · időzített automata (2) · időzített Petri-háló (1) · IEEE 802.15.4 (1) · IoT (1) · Java (1) · JDT (1) · keretrendszer (2) · kiber-fizikai rendszer (2) · kiberfizikai rendszerek (2) · Kiterítés (1) · kódgenerálás (2) · Komplex-esemény feldolgozás (1) · komplexesemény-feldogozás (3) · kooperáció (1) · korlátos modellellenőrzés (3) · Kronecker (1) · kurzusértékelés (1) · lineáris (1) · lineáris tranzíciós rendszer (1) · LTL (2) · marker felismerés (1) · Markov-lánc (1) · MDT (1) · megbízhatóság (1) · metamodellezés (1) · Microsoft .NET 4.0 (1) · modell (1) · modell alapú fejlesztés (1) · modell alapú szoftverfejlesztés (3) · modell alapú tervezés (1) · modell transzformáció (1) · modellalapú (1) · modellalapú szoftverfejlesztés (1) · modellellenőrzés (13) · modellező eszközök (1) · monitorozás (4) · motorkontroller (1) · numerikus módszerek (1) · Okosváros (1) · OpenCV (1) · összehasonlítás (1) · paraméteres időzített automata (3) · párhuzamos (1) · PetriDotNet 2 (1) · PetriDotNet2 (2) · Petri-háló (11) · plugin (1) · PWM (1) · Python (1) · redundancia (1) · reguláris kifejezések (2) · rekonfiguráció (1) · rendszer (1) · rendszermodellezés (2) · Részleges rendezés (1) · SMT (1) · SpaceEx (1) · szaturáció (7) · szekvenciadiagram (1) · szerkesztő (1) · szervomotor (1) · szimbolikus modellellenőrzés (1) · szoftver modellezés (1) · szoftverfrissítés (1) · sztochasztikus modell (1) · tárgy követés (1) · távolságmérés (1) · távvezérlés (1) · teljesítményvizsgálat (1) · temporális logika (3) · Tools (1) · TWI (1) · UAV (1) · ultrahang (1) · UML (3) · UPPAAL (1) · validáció (1) · valós-idejű (1) · véges állapotú automata (1) · verifikáció (6) · vezérelt szaturáció (1) · vezeték nélküli kommunikáció (1) · VIATRA-CEP (1) · WCF (1) · web-alapú alkalmazás (1) · Xtext (2) · xtUML (1)

Témái

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

Képzés szerint:

Félév szerint: