NSW101 - Modely a verifikace chovani systemu

Odeslat odpověď

Smajlíci
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:

BBCode je zapnutý
[img] je zapnutý
[flash] je vypnutý
[url] je zapnuté
Smajlíci jsou zapnutí

Přehled tématu
   

Rozšířit náhled Přehled tématu: NSW101 - Modely a verifikace chovani systemu

Re: NSW101 - Modely a verifikace chovani systemu

od jakub » 10. 5. 2013 15: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?

Re: NSW101 - Modely a verifikace chovani systemu

od jakub » 27. 4. 2013 14:50

login je kod predmetu, heslo je promela velkymi pismenami

NSW101 - Modely a verifikace chovani systemu

od Synergy » 14. 4. 2013 17: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.

Nahoru