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
Last revisionBoth sides next revision
resources [2017/01/03 03:26] – jonathanresources [2019/01/03 21:12] – 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 [[protected:vm:|here]] (login for the password to access the VM).
  
 ====== Other Resources ====== ====== Other Resources ======
resources.txt · Last modified: 2019/01/03 21:13 by jonathan