EECS3342

User Tools

Site Tools

You are here: EECS3342-W20 System Specification and Refinement » Resources
Trace:
resources

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
resources [2017/01/03 03:26] – jonathanresources [2019/01/03 21:13] (current) – jonathan
Line 3: Line 3:
 For information on Event-B/Rodin, see [[https://wiki.eecs.yorku.ca/project/sel-students/p:tutorials:eventb:start|resources]] (login at bottom right) For information on Event-B/Rodin, see [[https://wiki.eecs.yorku.ca/project/sel-students/p:tutorials:eventb:start|resources]] (login at bottom right)
  
 +====== SEL Virtual Machine ======
 +
 +The SEL Virtual Machine is available [[http://dl.eecs.yorku.ca/sel/eecs-vbox-sel-latest.ova|here]]. For further help, see [[http://seldoc.eecs.yorku.ca/doku.php/eiffel/virtualbox/start|here]] (login for the password to access the VM).
  
 ====== Other Resources ====== ====== Other Resources ======
resources.1483414005.txt.gz · Last modified: 2017/01/03 03:26 by jonathan