Skip to contents

Abrial, Jean-Raymond [Editor]

Formal methods for industrial applications : specifying and programming the steam boiler control

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1996

Published in: Lecture notes in computer science ; 1165
Abrial, Jean-Raymond [Author]

The B-book : assigning programs to meanings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Press, 1996
Abrial, Jean-Raymond [Editor]; Börger, Egon [Honoree]; Glässer, Uwe [Other]

Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5115
Abrial, Jean-Raymond [Other]

Formal methods for industrial applications : specifying and programming the steam boiler control

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1996 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 116500
Abrial, Jean-Raymond [Author]

Event model decomposition

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/69255

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, Department of Computer Science, 2009

Published in: Technical report / [ETH, Department of Computer Science, 626
Abrial, Jean-Raymond [Author]

Faultless systems: Yes we can!

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/69796

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Swiss Federal Institute of Technology, Information Security, 2009

Published in: Technical Report / ETH Zurich, Department of Computer Science, 629
Abrial, Jean-Raymond [Author] ; Glässer, Uwe [Other]

Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

Published in: Lecture notes in computer science ; 5115
Abrial, Jean-Raymond [Author]

Software engineering mathematics

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/148552

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Bildarchiv der ETH-Bibliothek Prod., 2005

Published in: Einführungsvorlesung von Professorinnen und Professoren / ETH Zürich. Departement Informatik, 2005
Abrial, Jean-Raymond [Author] ; Börger, Egon [Other]; Langmaack, Hans [Other]

Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1996

Published in: Lecture notes in computer science ; 1165
Mehta, Farhad Dinshaw [Author] ; Müller, Peter [Contributor]; Abrial, Jean-Raymond [Contributor]

Proofs for the working engineer

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/72902

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, 2008
Abrial, Jean-Raymond [Author]; Glässer, Uwe [Author] ; Jean-Raymond Abrial and Uwe Glässer [Contributor]

06191 Abstracts Collection – Rigorous Methods for Software Construction and Analysis

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006
Abrial, Jean-Raymond [Author]; Glässer, Uwe [Author] ; Jean-Raymond Abrial and Uwe Glässer [Contributor]

06191 Summary – Rigorous Methods for Software Construction and Analysis

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006
Hoang, Thai Son [Author]; Abrial, Jean-Raymond [Author]

Event-B Decomposition for Parallel Programs

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/153070

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Eidgenössische Technische Hochschule Zürich, Department of Computer Science, 2011
Hoang, Thai Son [Author]; Abrial, Jean-Raymond [Author]

Reasoning about Liveness Properties in Event-B

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/152980

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Eidgenössische Technische Hochschule Zürich, 2011

Published in: Proceedings of ICFEM 2011
Hoang, Thai Son [Author]; Abrial, Jean-Raymond [Author]

Event-B development of the FindP program

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/69270

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, Department of Computer Science, 2009

Published in: Technical Report / ETH Zurich, Department of Computer Science, 653
Abrial, Jean-Raymond [Author]; Börger, Egon [Author]; Langmaack, Hans [Author] ; Jean-Raymond Abrial and Egon Börger and Hans Langmaack [Contributor]

Methods for Semantics and Specification (Dagstuhl Seminar 9523)

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1995
Hoang, Thai Son [Author]; Fürst, Andreas [Author]; Abrial, Jean-Raymond [Author]

Event-B patterns and their tool support

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/69827

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Eidgenössische Technische Hochschule Zürich, 2012
Hoang, Thai S. [Author]; Basin, David [Author]; Abrial, Jean-Raymond [Author]

Specifying Access Control in Event-B

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/15887

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, Department of Computer Science, 2009

Published in: Technical report, 624
Abrial, Jean-Raymond [Author]; Butler, Michael [Author]; Joshi, Rajev [Author]; Troubitsyna, Elena [Author]; Woodcock, Jim C. P. [Author] ; Jean-Raymond Abrial and Michael Butler and Rajev Joshi and Elena Troubitsyna and Jim C. P. Woodcock [Contributor]

09381 Extended Abstracts Collection – Refinement Based Methods for the Construction of Dependable Systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Hoang, Thai Son [Author]; Kuruma, Hironobu [Author]; Basin, David A. [Author]; Abrial, Jean-Raymond [Author]

Developing topology discovery in Event-B*

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/69755

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, Department of Computer Science, 2008

Published in: Technical report, 611

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication