Fórum studentů MFF UK

Pro všechny studenty informatiky, fyziky, matematiky a učitelství na Matfyzu provozuje a spravuje Spolek Matfyzák
https://forum.matfyzak.cz/

NSW101 - Modely a verifikace chovani systemu

https://forum.matfyzak.cz/viewtopic.php?f=422&t=9599

Stránka 1 z 1

NSW101 - Modely a verifikace chovani systemu

Napsal: 14. 4. 2013 17:24
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.

Re: NSW101 - Modely a verifikace chovani systemu

Napsal: 27. 4. 2013 14:50
od jakub
login je kod predmetu, heslo je promela velkymi pismenami

Re: NSW101 - Modely a verifikace chovani systemu

Napsal: 10. 5. 2013 15:07
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?
Všechny časy jsou v UTC+02:00
Stránka 1 z 1

Založeno na phpBB® Forum Software © phpBB Limited

Český překlad – phpBB.cz