Regisztráció és bejelentkezés

konferenciák

témák

kulcsszavak

abstraction (1) · absztrakció (2) · algoritmus (2) · algoritmusok (1) · állapotalapú modell (1) · állapotgép (1) · automatatanulás (1) · beágyazott rendszerek (2) · cegar (2) · concurrency (1) · concurrent (1) · döntési diagram (1) · ellenpélda (1) · eszköz (1) · explicit (1) · folyamatmodell (1) · formal verification (1) · formális modellezés (1) · formális módszerek (1) · formális verifikáció (5) · gamma (1) · granularitás (1) · hardware (1) · hierarchikus (2) · interaktív tanulás (1) · keresés (1) · kódgenerálás (2) · komponens (1) · kompozíció (1) · kompozicionális tervezés (1) · kritikus rendszerek (1) · kronecker-algebra (1) · ltl (1) · markov-láncok (1) · mcm (1) · memory consistency (1) · model checking (1) · modell (2) · modellalapú szoftverfejlesztés (1) · modell-alapú tervezés (1) · modellellenőrzés (7) · modellezés (2) · Modelltranszformáció (2) · multi-core (1) · multi-thread (1) · numerikus módszerek (1) · reaktív (2) · reaktív rendszer (1) · redukció (1) · részleges rendezés (1) · sat (1) · smt (2) · software (1) · solver (1) · sysml (1) · systems modeling (1) · szimbolikus (1) · szimbolikus módszerek (1) · szintézis (1) · sztochasztikus analízis (1) · tanuló algoritmusok (1) · tervezés (1) · többszálú programok (1) · tricheck (1) · véges automaták (1) · vegyes szemantika (1) · verification (1) · verifikáció (6) · vezérelt (1) · xsts (1)


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

dolgozatok

Összesen 14 dolgozat. Összes dolgozat »

helyezés szerint

különdíj szerint

évek szerint

dolgozatok