34 treff

formelle metoder
Automated reasoning for planning railway infrastructure
Bjørnar Luteberget
Bok Engelsk 2019 · Vis mer
Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings
FORTE 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal methods for industrial applications : specifying and programming the steam boiler control
Jean-Raymond Abrial, Egon Börger, Hans La...
Bok Engelsk 1996 · Vis mer
Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings
FMOODS 2003
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal techniques for networked and distributed systems - FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings
FORTE 2003
Bok Engelsk 2003 · Vis mer
Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures
International School on Formal Methods for the Design of Computer, Communication and Software Systems
Bok Engelsk 2003 · Vis mer
Formal techniques for networked and distributed systems - FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings
FORTE 2002
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003 : revised lectures
FMCO 2003
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal methods for distributed processing : a survey of object-oriented approaches
edited by Howard Bowman, John Derrick
Bok Engelsk 2001 · Vis mer
Formal methods for distributed system development
IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification
Bok Engelsk 2000 · Vis mer
Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002 : revised lectures
FMCO 2002
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal methods in computer-aided design : 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings
FMCAD 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers
FORMATS 2003
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal techniques, modelling and analysis of timed and fault-tolerant systems : Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings
FORMATS 2004
Bok Engelsk 2004 · Vis mer
Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings
IFM 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
International Conference on Formal Engineering Methods
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Teaching formal methods : CoLogNET/FME symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings
TFM 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Computer safety, reliability and security : 17th international conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998 : proceedings
SAFECOMP '98
Bok Engelsk 1998 · Vis mer
Software abstractions : logic, language, and analysis
Daniel Jackson
Bok Engelsk 2006 · Vis mer
Vis flere utgaver
Vis flere utgaver
Dynamic updates in the Creol framework
Ofstad, Morten Baumann
Bok Engelsk 2005 · Vis mer
Verification of reactive systems : formal methods and algorithms
Klaus Schneider
Bok Engelsk 2004 · Vis mer
Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings
International Conference on Formal Engineering Methods
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 2003 · Vis mer
Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings
FMCAD 2002
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Integrated formal methods : third international conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
IFM 2002
Bok Engelsk 2002 · Vis mer
Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings
International Conference on Formal Engineering Methods
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Computer safety, reliability and security : 18th international conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999 : proceedings
SAFECOMP '99
Bok Engelsk 1999 · Vis mer
Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings
FMCAD '98
Bok Engelsk 1998 · Vis mer
Understanding formal methods
written and translated by Jean François M...
Bok Engelsk 2003 · Vis mer
Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings

Bok Engelsk 1996 · Vis mer