Loading search results...
Preparing this view.
Join BookitisSave favorites, build lists, and follow creators.
Preparing this view.
Showing 47 results in Books. Ranked by relevance, with ranking context shown on each result.
International Conference on Integrated Formal Methods (3rd 2002 Turku, Finland) | 2002
Stefania Gnesi | 2012
Irish Workshop on Formal Methods (1st 1997 Dublin, Ireland) | 1997
BCS-FACS Northern Formal Methods Workshop (2nd 1997 Ilkley, England) | 1998
World Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France) | 1999
International Conference on Formal Methods for Open Object-Based Distributed Systems (6th 2003 Paris, France) | 2003
TFM 2009 (2009 Eindhoven, Netherlands) | 2009
FormEMC (Workshop) (1st 2004 Toledo, Spain) | 2004
2011
Formal Methods Foundations And Applications 14th Brazilian Symposium On Formal Methods Sbmf 2011 So Paulo September 2630 2011 Revised Selec...
International Conference on Integrated Formal Methods (6th 2007 Oxford, England) | 2007
International Conference on Integrated Formal Methods (5th 2005 Eindhoven, Netherlands) | 2005
2012
Formal Methods For Modeldriven Engineering 12th International School On Formal Methods For The Design Of Computer Communication And Softwar...
Jean-Louis Boulanger | 2012
International School on Formal Methods for the Design of Computer, Communication, and Software Systems (9th 2009 Bertinoro, Italy) | 2009
1999
Formal methods for open object-based distributed systems
WS-FM 2008 (2008 Milan, Italy) | 2009
International Conference on Formal Engineering Methods (10th 2008 Kitakyushu-City, Japan) | 2008
FMSB 2008 (2008 Cambridge, England) | 2008
IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design (1995 Mexico City, Mexico) | 1996
International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th 2006 Bertinoro, Italy) | 2006
FMCO 2008 (2008 Amsterdam, Netherlands) | 2008
M. M. Bakhtin | 1985
Roberta Ferrario | 2012
2010
Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719...
2010
Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil Decemb...
International Conference on Formal Engineering Methods (9th 2007 Boca Raton, Fla.) | 2007
Colloquium on Software Engineering (1985 Berlin, Germany) | 1985
FMCAD '06 (2006 San Jose, Calif.) | 2006
FMCAD 2000 (2000 Austin, Tex.) | 2000
FMCAD 2007 (7th 2007 Austin, Tex.) | 2007
International Workshop on Formal Methods for Industrial Critical Systems (12th 2007 Berlin, Germany) | 2008
International Symposium of Formal Methods Europe (2nd 1994 Barcelona) | 1994
International Workshop on Formal Methods for Industrial Critical Systems (14th 2009 Eindhoven, The Netherlands) | 2009
International Workshop on Formal Methods for Industrial Critical Systems (15th 2010 Antwerp, Belgium) | 2010
International School on Formal Methods for the Design of Computer, Communication, and Software Systems (4th 2004 Bertinoro, Italy) | 2004
IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (2000 Pisa, Italy) | 2000
Jui-ming Chang | 1999
Richard Freeman Paige | 1997
EEF Summer School on Trends in Computer Science (1st 2000 Berg en Dal, Netherlands) | 2001
EEF/Euro Summer School on Trends in Computer Science (1st 2000 Berg en Dal, Netherlands)
M. Norris | 1986
International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (5th 1999 Bamberg, Germany) | 1999
