Model Checking of Control-User Systems

• Autoři: MORAVCOVÁ VAŘEKOVÁ Pavlína; VAŘEKOVÁ
• Rok publikování: 2009
• Druh: Účelové publikace
• Fakulta / Pracoviště MU: Fakulta informatiky

Související projekty

• Vysoce paralelní a distribuované výpočetní systémy