EA05 Állapottérképek
Semester:
2011. tavasz
Az előadás tartalma:
Állapottérképek
- Modell elemek
- Informális szemantika
- Formális szemantika (kiegészítő anyag)
Forráskód generálás
- Forráskód generálás időzített automaták alapján (áttekintés)
- Kódgenerálási minták állapottérképekhez
- Monitorkód generálás állapottérkép referencia alapján
Download:
