Formális módszerek vizsga tool
A lap korábbi változatát látod, amilyen (vitalap) 2012. október 21., 19:58-kor történt szerkesztése után volt. (Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModVizsgaTananyag}} <br> Köszönet az [http://info.sch.bme.hu/document.php?cmd=download_proc&tmp_page=&doc_id=8776 InfoSiteon (for…”)
Ez az oldal a korábbi SCH wiki-ről lett áthozva. Az eredeti változata itt érhető el.
Ha úgy érzed, hogy bármilyen formázási vagy tartalmi probléma van vele, akkor kérlek javíts rajta egy rövid szerkesztéssel.
Ha nem tudod, hogyan indulj el, olvasd el a migrálási útmutatót
Köszönet az InfoSiteon (form_vizsgara_pdf.zip) található kidolgozásért, készítették: Legány Csaba és Úr Balázs
- Petri Hálók
- Temporális logika
- Modellellenőrzés
- Állapottérképek
- Adatfolyam modellezés
- Bináris döntési diagramok - ROBDD
- Gráftranszformációk
-- adamo - 2006.06.10.