Regisztráció és bejelentkezés

konferenciák

témák

kulcsszavak

a* (1) · abstraction (1) · absztrakció (3) · algoritmus (2) · algoritmusok (1) · állapotalapú modell (1) · állapotgép (3) · automatatanulás (1) · autosar (1) · beágyazott rendszerek (2) · cegar (3) · 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 (2) · formális verifikáció (5) · gamma (1) · granularitás (1) · hardware (1) · heurisztika (1) · hierarchikus (3) · interaktív tanulás (1) · keresés (2) · kódgenerálás (2) · komponens (1) · kompozíció (1) · kompozicionális tervezés (1) · kritikus rendszerek (2) · kronecker-algebra (1) · ltl (1) · markov-láncok (1) · mcm (1) · memory consistency (1) · model checking (1) · modell (3) · modellalapú szoftverfejlesztés (1) · modell-alapú tervezés (1) · modellellenőrzés (8) · modellezés (3) · Modelltranszformáció (2) · multi-core (1) · multi-thread (1) · numerikus módszerek (1) · pssm (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) · szabvány (1) · szemantika (1) · szimbolikus (1) · szimbolikus módszerek (1) · szintézis (1) · sztochasztikus analízis (1) · tanuló algoritmusok (1) · tervezés (1) · tesztgenerálás (1) · többszálú programok (1) · tricheck (1) · uml (1) · véges automaták (1) · vegyes szemantika (1) · verification (1) · verifikáció (7) · vezérelt (1) · xsts (1)


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

dolgozatok

Összesen 17 dolgozat. Összes dolgozat »

helyezés szerint

különdíj szerint

évek szerint

dolgozatok