Regisztráció és bejelentkezés

konferenciák

témák

kulcsszavak

absztrakció (1) · absztrakt interpretáció (1) · algoritmus (1) · algoritmusok (1) · automata (1) · automatatanulás (1) · automata-tanulás (1) · autonomous systems (1) · beágyazott rendszer (1) · biztonságkritikus beágyazott rendszerek (1) · biztonságkritikus rendszer (1) · biztonságkritikus rendszerek (1) · cegar (2) · distributed systems (1) · domain specific modeling (1) · dsl (1) · elérhetőség (1) · elérhetőségi analízis (1) · ellenőrzés (1) · ellenpélda (1) · ellenpélda-alapú absztrakció finomítás (1) · elosztott rendszerek (1) · explicit (1) · formális módszerek (3) · formális verifikáció (1) · futásidejű (1) · gráf (1) · időzített automata (1) · időzített rendszerek (1) · kiberfizikai rendszer (2) · kiberfizikai rendszerek (1) · k-indukció (1) · kockázatelemzés (1) · kódgenerálás (2) · komplex eseményfeldolgozás (1) · kompozicionális tervezés (1) · konkretizáció (1) · korlátos modellellenőrzés (1) · kronecker-algebra (1) · lináris (1) · lineáris idejű temporális logika (1) · logika (1) · ltl (2) · markov-láncok (1) · mintaillesztés (1) · model-based testing (1) · modell alapú (1) · modell alapú szoftverfejlesztés (1) · modellalapú szoftvertervezés (1) · modell-alapú tervezés (1) · modellalkotás (1) · modellellenőrzés (4) · modellezés (2) · modellező eszközök (1) · Modelltranszformáció (1) · Monitorozás (1) · numerikus módszerek (1) · óraszinkronizáció (1) · Petri-háló (2) · petri-háló elérhetőség (1) · pltl (1) · redukció (1) · regressziós tesztelés (1) · rendszermodellezés (1) · részleges rendezés (1) · robotika (1) · ros (1) · szaturáció (3) · szimbolikus (1) · szimbolikus módszerek (1) · szimbolikus végrehajtás (1) · szoftver ellenőrzés (1) · szoftvertesztelés (1) · sztochasztikus analízis (1) · temporális (1) · test data generation (1) · testing (1) · tesztelés (2) · tesztgenerálás (2) · vasúti rendszerek (1) · verifikáció (9) · vezérelt (1) · vezetéknélküli szenzorhálózat (1) · vizualizáció (1)


Betöltés folyamatban, kis türelmet...

dolgozatok

Összesen 20 dolgozat. Összes dolgozat »

helyezés szerint

évek szerint