Formal Methods Europe Logo Formal Methods Europe
   
   
 
  Choosing
  Methods
  Tools
  Applications
  FAQs
  Literature
  Journals
  Courses
  Projects
  Universities
  Industry
  Groups
  Links
 

Application name:

Further applications, see our Wiki.

Organisation:

-

Method:

-

Tools:

-

Domain:

-

Period:

-

Size:

-

Description:

-

Conclusions:

-

Publications:

-

Contact:

Name:Dr. J.S. Fitzgerald
Organisation: Centre for Software Reliability
Address: Bedson Building University of Newcastle upon Tyne Newcastle upon Tyne NE1 7RU
Country:UK
Phone number:+44 (161) 2756136 or +44 (191) 2227999
Fax:+44 (161) 2756236 or +44 (191) 2228788
E-mail:John.Fitzgerald@newcastle.ac.uk
Personal website:http://www.fmeurope.org/twiki/bin/view/Main/WebHome

URL:

http://www.fmeurope.org/twiki/bin/view/Main/WebHome