NSW101 - Modely a verifikace chovani systemu

Co se jinam nevejde
Synergy
Matfyz(ák|ačka) level I
Příspěvky: 14
Registrován: 23. 1. 2007 15:18
Typ studia: Informatika Mgr.
Bydliště: Karvina
Kontaktovat uživatele:

NSW101 - Modely a verifikace chovani systemu

Příspěvek od Synergy »

Mohl bych poprosit o login a heslo k http://d3s.mff.cuni.cz/teaching/system_ ... ur_models/. Poslete mi to prosim do zpravy, dekuji.
jakub

Re: NSW101 - Modely a verifikace chovani systemu

Příspěvek od jakub »

login je kod predmetu, heslo je promela velkymi pismenami
jakub

Re: NSW101 - Modely a verifikace chovani systemu

Příspěvek od jakub »

Ahojte. Trochu som zmeteny z domaceho ukolu 1 (vytvorit MESI model).
Mame vytvorit model, ale nemame pouzit Promelu ? Neviete mi niekto poradit, ze co by malo byt riesenim?
Odpovědět

Zpět na „Ostatní“