Zum Inhalt springen

Treharne, Helen [HerausgeberIn]; King, Steve [Sonstige Person, Familie und Körperschaft]; Henson, Martin [Sonstige Person, Familie und Körperschaft]; Schneider, Steve [Sonstige Person, Familie und Körperschaft] ; ZB 4 2005 Guildford

ZB 2005: formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13 - 15, 2005 ; proceedings

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, 2005

Erschienen in: Lecture notes in computer science ; 3455
Galloway, Andrew [HerausgeberIn]

The Cambridge companion to medieval English culture - [1. publ.]

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, 2011

Erschienen in: Cambridge companions to culture
Derrick, John [VerfasserIn] ; Gnesi, Stefania [Sonstige Person, Familie und Körperschaft]; Latella, Diego [Sonstige Person, Familie und Körperschaft]; Treharne, Helen [Sonstige Person, Familie und Körperschaft]

Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

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, 2012

Erschienen in: Lecture notes in computer science ; 7321
Henson, Martin [Sonstige Person, Familie und Körperschaft]; King, Steve [Sonstige Person, Familie und Körperschaft]; Schneider, Steve [Sonstige Person, Familie und Körperschaft]; Treharne, Helen [Sonstige Person, Familie und Körperschaft]

ZB 2005: Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

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, 2005

Erschienen in: Lecture notes in computer science ; 3455
Treharne, Helen

FME 2002:Formal Methods—Getting IT Right: Supplementing a UML Development Process with B

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.

Springer Berlin Heidelberg, 2002

Erschienen in: FME 2002:Formal Methods—Getting IT Right
Schneider, Steve; Treharne, Helen

Special issue on Automated Verification of Critical Systems (AVoCS 2013)

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Elsevier BV, 2015

Erschienen in: Science of Computer Programming
Schneider, Steve; Treharne, Helen

Changing system interfaces consistently: A new refinement strategy for CSP∥B

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Elsevier BV, 2011

Erschienen in: Science of Computer Programming
Schneider, Steve; Treharne, Helen

Lecture Notes in Computer Science: Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B

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.

Springer Berlin Heidelberg, 2009

Erschienen in: Lecture Notes in Computer Science
Evans, Neil; Treharne, Helen

Interactive tool support for CSP || B consistency checking

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Association for Computing Machinery (ACM), 2007

Erschienen in: Formal Aspects of Computing
Evans, Neil; Treharne, Helen

Linking Semantic Models to Support CSP ∥ B Consistency Checking

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Elsevier BV, 2006

Erschienen in: Electronic Notes in Theoretical Computer Science
Schneider, Steve; Treharne, Helen

CSP theorems for communicating B machines

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Association for Computing Machinery (ACM), 2005

Erschienen in: Formal Aspects of Computing
Evans, Neil; Treharne, Helen

Investigating a file transfer protocol using CSP and B

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Science and Business Media LLC, 2005

Erschienen in: Software & Systems Modeling
Schneider, Steve; Treharne, Helen

Lecture Notes in Computer Science: Verifying Controlled Components

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.

Springer Berlin Heidelberg, 2004

Erschienen in: Lecture Notes in Computer Science
Schneider, Steve; Treharne, Helen

ZB 2002:Formal Specification and Development in Z and B: Communicating B Machines

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.

Springer Berlin Heidelberg, 2002

Erschienen in: ZB 2002:Formal Specification and Development in Z and B
Treharne, Helen; Schneider, Steve

ZB 2000: Formal Specification and Development in Z and B: How to Drive a B Machine

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.

Springer Berlin Heidelberg, 2000

Erschienen in: ZB 2000: Formal Specification and Development in Z and B
Potet, Marie-Laure; Treharne, Helen

Preface

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Elsevier BV, 2011

Erschienen in: Electronic Notes in Theoretical Computer Science
Schneider, Steve; Treharne, Helen; Wehrheim, Heike

The behavioural semantics of Event-B refinement

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Association for Computing Machinery (ACM), 2014

Erschienen in: Formal Aspects of Computing
Abdelhalim, Islam; Schneider, Steve; Treharne, Helen

An integrated framework for checking the behaviour of fUML models using CSP

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Science and Business Media LLC, 2013

Erschienen in: International Journal on Software Tools for Technology Transfer
Abdelhalim, Islam; Schneider, Steve; Treharne, Helen

Software Engineering and Formal Methods: An Optimization Approach for Effective Formalized fUML Model Checking

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.

Springer Berlin Heidelberg, 2012

Erschienen in: Software Engineering and Formal Methods
Schneider, Steve; Treharne, Helen; Wehrheim, Heike

Bounded Retransmission in Event-B∥CSP: a Case Study

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Elsevier BV, 2011

Erschienen in: Electronic Notes in Theoretical Computer Science

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