25 treff

formelle metoder notrbib real002404
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
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 : 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
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
Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings

Bok Engelsk 1996 · Vis mer
Object-oriented programming : 8th European conference, ECOOP '94, Bologna, Italy, July 4-8, 1994 : proceedings
European Conference on Object-Oriented Programming
Bok Engelsk 1994 · Vis mer