NSW101 - Modely a verifikace chovani systemu

Co se jinam nevejde

NSW101 - Modely a verifikace chovani systemu

Příspěvekod Synergy » 14. 4. 2013 16:24

Mohl bych poprosit o login a heslo k http://d3s.mff.cuni.cz/teaching/system_ ... ur_models/. Poslete mi to prosim do zpravy, dekuji.
Synergy
Matfyz(ák|ačka) level I
 
Příspěvky: 14
Registrován: 23. 1. 2007 15:18
Bydliště: Karvina
Typ studia: Informatika Mgr.

Re: NSW101 - Modely a verifikace chovani systemu

Příspěvekod jakub » 27. 4. 2013 13:50

login je kod predmetu, heslo je promela velkymi pismenami
jakub
 

Re: NSW101 - Modely a verifikace chovani systemu

Příspěvekod jakub » 10. 5. 2013 14:07

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?
jakub
 


Zpět na Ostatní

Kdo je online

Uživatelé procházející toto fórum: Žádní registrovaní uživatelé a 1 návštěvník