Welcome!
Log In
Create A New Profile
Home
>
2006
>
INF482X
> Topic
Advanced
Assignment 01 - URLs from students
Posted by
TvD
Announcements
Last Post
SoC Curricula
09/30/2017 01:08PM
Demarcation or scoping of examinations and assessment
02/13/2017 07:59AM
School of Computing Short Learning Programmes
11/24/2014 08:37AM
Unisa contact information
07/28/2011 01:28PM
Forums
Messages
New
TvD
Assignment 01 - URLs from students
May 12, 2006 11:49AM
Admin
IP/Host: Moderator
Registered: 18 years ago
Posts: 582
Rating: 0
eis.jpl.nasa.gov/quality/Formal_Methods/
vl.zuser.org/
http://www.zuser.org/zbook/
vl.fmnet.info/
www.thedacs.com/techs/fmreview/definition.html
www.cs.waikato.ac.nz/~marku/formalmethods.html
www.afm.sbu.ac.uk/
www.cs.indiana.edu/formal-methods-education/
http://en.wikipedia.org/wiki/Formal_Methods
http://www.dacs.dtic.mil/
http://www.cs.york.ac.uk/puml/
http://www.cs.uiowa.edu/~fleck/181.html
http://www.ece.cmu.edu/~koopman/des_s99/formal_methods/
Reply
Quote
Newer Topic
Older Topic
Print View
RSS
Sorry, only registered users may post in this forum.
Click here to login