Hierarchikus állapotgépek formális verifikációja

Típus: 
Önálló laboratórium (BSc)
Félév: 
2016. tavasz
Tématerület: 
Kritikus beágyazott rendszerek
Konzulens (belső): 
Hajdu Ákos
Konzulens (belső): 
Molnár Vince
Konzulens (belső): 
Szárnyas Gábor
Kivonat: 
application/pdf iconhierarchikus-állapotgépek-formális-verifikációja-20160530.pdf
Témakiírás: 
Hierarchikus állapotgépek formális verifikációja

Nyelvek

  • English
  • Magyar

Belépés

Navigáció