Zum Inhalt springen

Abrial, Jean-Raymond [HerausgeberIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 1165
Abrial, Jean-Raymond [VerfasserIn]

The B-book : assigning programs to meanings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge [u.a.]: Cambridge Univ. Press, 1996
Abrial, Jean-Raymond [HerausgeberIn]; Börger, Egon [GefeierteR]; Glässer, Uwe [Sonstige Person, Familie und Körperschaft]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 5115
Abrial, Jean-Raymond [Sonstige Person, Familie und Körperschaft]

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

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 116500
Abrial, Jean-Raymond [VerfasserIn]

Event model decomposition

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ETH, Department of Computer Science, 2009

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

Faultless systems: Yes we can!

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Swiss Federal Institute of Technology, Information Security, 2009

Erschienen in: Technical Report / ETH Zurich, Department of Computer Science, 629
Abrial, Jean-Raymond [VerfasserIn] ; Glässer, Uwe [Sonstige Person, Familie und Körperschaft]

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

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

Erschienen in: Lecture notes in computer science ; 5115
Abrial, Jean-Raymond [VerfasserIn]

Software engineering mathematics

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Bildarchiv der ETH-Bibliothek Prod., 2005

Erschienen in: Einführungsvorlesung von Professorinnen und Professoren / ETH Zürich. Departement Informatik, 2005
Abrial, Jean-Raymond [VerfasserIn] ; Börger, Egon [Sonstige Person, Familie und Körperschaft]; Langmaack, Hans [Sonstige Person, Familie und Körperschaft]

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

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1996

Erschienen in: Lecture notes in computer science ; 1165
Mehta, Farhad Dinshaw [VerfasserIn] ; Müller, Peter [MitwirkendeR]; Abrial, Jean-Raymond [MitwirkendeR]

Proofs for the working engineer

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ETH, 2008
Abrial, Jean-Raymond [VerfasserIn]; Glässer, Uwe [VerfasserIn] ; Jean-Raymond Abrial and Uwe Glässer [MitwirkendeR]

06191 Abstracts Collection – Rigorous Methods for Software Construction and Analysis

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

06191 Summary – Rigorous Methods for Software Construction and Analysis

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Event-B Decomposition for Parallel Programs

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Reasoning about Liveness Properties in Event-B

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Eidgenössische Technische Hochschule Zürich, 2011

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

Event-B development of the FindP program

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ETH, Department of Computer Science, 2009

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

Methods for Semantics and Specification (Dagstuhl Seminar 9523)

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Event-B patterns and their tool support

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Specifying Access Control in Event-B

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ETH, Department of Computer Science, 2009

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

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

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Developing topology discovery in Event-B*

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ETH, Department of Computer Science, 2008

Erschienen in: Technical report, 611

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr