Zum Inhalt springen

  2. Börger, Egon [HerausgeberIn]; Butler, Michael [Sonstige Person, Familie und Körperschaft]; Bowen, Jonathan P. [Sonstige Person, Familie und Körperschaft]; Boca, Paul [Sonstige Person, Familie und Körperschaft] ; ABZ 1 2008 London

    Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 ; proceedings

    Bücher
    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, 2008

    Erschienen in: Lecture notes in computer science ; 5238

  4. Davies, Jim [HerausgeberIn]; Silva, Leila [Sonstige Person, Familie und Körperschaft]; Simao, Adenilso [Sonstige Person, Familie und Körperschaft] ; Brazilian Symposium on Formal Methods 13 2010 Natal, Rio Grande do Norte

    Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 ; revised selected papers

    Bücher
    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, 2011

    Erschienen in: Lecture notes in computer science ; 6527

  5. Julliand, Jacques [HerausgeberIn]; Kouchnarenko, Olga [Sonstige Person, Familie und Körperschaft] ; International Conference of B Users 7 2007 Besançon

    B 2007: formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 ; proceedings

    Bücher
    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, 2006

    Erschienen in: Lecture notes in computer science ; 4355

  6. Sekerinski, Emil [Sonstige Person, Familie und Körperschaft]; Sere, Kaisa [Sonstige Person, Familie und Körperschaft]

    Program development by refinement : case studies using the B method

    Bücher
    Schließen

    Merkliste

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

    London; Berlin; Heidelberg [u.a.]: Springer, 1999

    Erschienen in: Formal approaches to computing and information technology - FACIT

  8. Schmidt, Joshua [VerfasserIn] ; Leuschel, Michael [AkademischeR BetreuerIn]

    New Applications and Techniques for Constraint Programming in B

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Düsseldorf: Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, 2023

  9. Körner, Philipp [VerfasserIn] ; Leuschel, Michael [AkademischeR BetreuerIn]; Idani, Akram [Sonstige Person, Familie und Körperschaft]

    On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Düsseldorf: Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, 2023

  10. Derrick, John [VerfasserIn] ; Fitzgerald, John [Sonstige Person, Familie und Körperschaft]; Gnesi, Stefania [Sonstige Person, Familie und Körperschaft]; Khurshid, Sarfraz [Sonstige Person, Familie und Körperschaft]; Leuschel, Michael [Sonstige Person, Familie und Körperschaft]; Reeves, Steve [Sonstige Person, Familie und Körperschaft]; Riccobene, Elvinia [Sonstige Person, Familie und Körperschaft]

    Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

    Bücher
    Online ansehen
    Schließen
    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 ; 7316

  11. Frappier, Marc [VerfasserIn] ; Glässer, Uwe [Sonstige Person, Familie und Körperschaft]; Khurshid, Sarfraz [Sonstige Person, Familie und Körperschaft]; Laleau, Régine [Sonstige Person, Familie und Körperschaft]; Reeves, Steve [Sonstige Person, Familie und Körperschaft]

    Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings

    Bücher
    Online ansehen
    Schließen
    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, 2010

    Erschienen in: Lecture notes in computer science ; 5977

  12. Hutchison, David [Sonstige Person, Familie und Körperschaft]; Mitchell, John C. [Sonstige Person, Familie und Körperschaft]; Naor, Moni [Sonstige Person, Familie und Körperschaft]; Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]; Pandu Rangan, C. [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Sudan, Madhu [Sonstige Person, Familie und Körperschaft]; Terzopoulos, Demetri [Sonstige Person, Familie und Körperschaft]; Tygar, Doug [Sonstige Person, Familie und Körperschaft]; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]; Weikum, Gerhard [Sonstige Person, Familie und Körperschaft]; Boca, Paul [Sonstige Person, Familie und Körperschaft]; Börger, Egon [Sonstige Person, Familie und Körperschaft]; Bowen, Jonathan P. [Sonstige Person, Familie und Körperschaft]; Butler, Michael [Sonstige Person, Familie und Körperschaft]; Kanade, Takeo [Sonstige Person, Familie und Körperschaft]; Kittler, Josef [Sonstige Person, Familie und Körperschaft]; Kleinberg, Jon [Sonstige Person, Familie und Körperschaft]; Mattern, Friedemann [Sonstige Person, Familie und Körperschaft]

    Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

    Bücher
    Online ansehen
    Schließen
    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, 2008

    Erschienen in: Lecture notes in computer science ; 5238

  13. Leuschel, Michael [VerfasserIn]; Bendisposto, Jens [VerfasserIn] ; Michael Leuschel and Jens Bendisposto [MitwirkendeR]

    Animating and Model Checking B Specifications with Higher-Order Recursive Functions

    Aufsätze
    Online ansehen
    Schließen
    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

  14. Ait Ameur, Yamine [VerfasserIn] ; Schewe, Klaus-Dieter [HerausgeberIn]

    Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8477

  15. Davies, Jim [VerfasserIn] ; Silva, Leila [HerausgeberIn]; Simão, Adenilso [HerausgeberIn]

    Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    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, 2011

    Erschienen in: Lecture notes in computer science ; 6527

  16. Radhouani, Amira [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Université de Tunis. Faculté des sciences de Tunis [MitwirkendeR]; Ledru, Yves [MitwirkendeR]; Idani, Akram [MitwirkendeR]

    Méthodes formelles pour l'extraction d'attaques internes des Systèmes d'Information ; Formal methods for extracting insider attacks from Information Systems

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2017-06-23

  17. Diagne, Fama [VerfasserIn] ; Evry, Institut national des télécommunications [MitwirkendeR]; Université de Sherbrooke (Québec, Canada) [MitwirkendeR]; Mammar, Amel [MitwirkendeR]; Frappier, Marc [MitwirkendeR]

    Preuve de propriétés dynamiques en B ; Proving dynamic properties in B

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2013-09-26

  18. De Almeida Pereira, Dalay Israel [VerfasserIn] ; Centrale Lille Institut [MitwirkendeR]; Collart-Dutilleul, Simon [MitwirkendeR]

    Analyse et spécification formelle des systèmes d’enclenchement ferroviaire basés sur les relais ; Analysis and formal specification of relay-based railway interlocking systems

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2020-10-15

  19. De Almeida Pereira, Dalay Israel [VerfasserIn] ; Ecole centrale de Lille [MitwirkendeR]; Collart-Dutilleul, Simon [MitwirkendeR]

    Analyse et spécification formelle des systèmes d’enclenchement ferroviaire basés sur les relais ; Analysis and formal specification of relay-based railway interlocking systems

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2020-10-15

  20. Halmagrand, Pierre [VerfasserIn] ; Paris, CNAM [MitwirkendeR]; Delahaye, David [MitwirkendeR]

    Automated deduction and proof certification for the B method ; Déduction automatique et certification de preuve pour la méthode B

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2016-12-10