形式化方法网站.docVIP

形式化方法网站 ? Formal Methods /databases/url/key.hts?keycode=53 http://www.brics.dk/FormalMethods/ What Are Formal Methods ? /~redmiles/ics121-FQ99/lecture/ten/ Formal Methods Links http://www.afm.sbu.ac.uk/ /spi/formal.html Formal Methods Europe / NASA Formal Method Program /fm/ NASDA Formal Methods Guidebook /quality/Formal_Methods/ Formal Methods Education Resources /formal-methods-education/ Formal Methods and Dependable Systems /programs/formalmethods/ Theory And Formal Methods Home http://theory.doc.ic.ac.uk/ Yahoo Formal Methods Links /Science/Computer_Science/Formal_Methods/ Formal Methods and Tools (FMT) http://fmt.cs.utwente.nl/ Formal Methods At Bell Lab /cm/cs/what/formal_methods/ IBM Formal Methods Home /projects/verification/Formal_Methods-Home/ Center For Applied Formal Methods (CAFM) http://www.cafm.sbu.ac.uk/ Bibliographies On Software/Hardware Engineering and Formal Methods http://liinwww.ira.uka.de/bibliography/SE/ Formal Methods Group http://www.cs.man.ac.uk/fmethods/ Strategic Directions in Computing Research Formal Methods Working Group /afs/cs/usr/wing/www/mit/mit.html Formal Methods and Z http://www-users.cs.york.ac.uk/~susan/abs/z.htm Formal Methods Resource List http://wwwsel.iit.nrc.ca/favs/FMfavs.html Formal Methods For Industrial Critical Systems (FMICS) http://www.inrialpes.fr/vasy/fmics/ Formal Methods For Life-Critical Software /shemesh/paper-cia/paper.html Formal Methods For Parallel Programming: Theory and Applications /~charpov/FMPPTA/ Formal Methods Laboratory http://www.cs.waikato.ac.nz/Research/fm/ World Congress On Formal Methods http://dblp.uni-trier.de/db/conf/fm/ Formal Methods In HCI p.lancs.ac.uk/computing/users/dixa/topics/formal/ Formal Methods In User Interface Specification /guse/formal.html Formal Methods For Interactive Systems (Book) 1991