Limit Search Results
Author
Language
Format
Material Type
Subject
Switch to list view
Switch to thumbnail view
Select an Action
8 Results Found Subscribe to search results
00000000MAIN
Print
1. 
Cover image for Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15
2. 
Cover image for Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays
3. 
Cover image for Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : Proceedings
4. 
Cover image for Formal techniques for networked and distributed systems-- FORTE 2007 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings
5. 
Cover image for Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings
6. 
Cover image for Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings
7. 
Cover image for Formal aspects in security and trust : Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers
8. 
Cover image for Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures