Zum Inhalt springen

  1. Kordon, Fabrice [Herausgeber:in]; Sokolsky, Oleg [Sonstige Person, Familie und Körperschaft] ; Monterey Workshop 13 2006 Paris

    Composition of Embedded Systems : Scientific and Industrial Issues ; 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 ; 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 [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4888

  2. Abdennadher, Nabil [Herausgeber:in]; Kordon, Fabrice [Sonstige Person, Familie und Körperschaft] ; International Conference on Reliable Software Technologies 12 2007 Genf

    Reliable software technologies - Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25 - 29, 2007 ; 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 [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4498

  3. Kordon, Fabrice [Herausgeber:in]; Vardanega, Tullioi [Sonstige Person, Familie und Körperschaft] ; International Conference on Reliable Software Technologies 13 2008 Venedig

    Reliable software technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 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 [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 5026

  4. Kordon, Fabrice [Herausgeber:in]; Kermarrec, Yvon [Sonstige Person, Familie und Körperschaft] ; Ada Europe, International Conference on Reliable Software Technologies 14 2009 Brest, Finistère

    Reliable software technologies - Ada-Europe 2009 : 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 ; 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 [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5570

  5. Kordon, Fabrice [Herausgeber:in]; Sztipanovits, Janos [Sonstige Person, Familie und Körperschaft] ; Monterey Workshop on Networked Systems: Realization of Reliable Systems on Unreliable Networked Platforms 12, 2005, Laguna Beach, Calif

    Reliable systems on unreliable networked platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 ; 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 [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4322

  7. Abdennadher, Nabil [Verfasser:in] ; Kordon, Fabrice [Mitwirkende:r] ACM Special Interest Group on Ada Programming Language

    Proceedings of the 12th international conference on Reliable software technologies

    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-Verlag, 2007

    Erschienen in: ACM Other conferences - ACM Digital Library

  8. Abdennadher, Nabil [Verfasser:in] ; Kordon, Fabrice [Sonstige Person, Familie und Körperschaft]

    Reliable Software Technologies – Ada Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. 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, 2007

    Erschienen in: Lecture notes in computer science ; 4498

  9. Kordon, Fabrice [Verfasser:in] ; Sokolsky, Oleg [Herausgeber:in] Monterey Workshop 13 2006 Paris

    Composition of Embedded Systems. Scientific and Industrial Issues : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 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, 2008

    Erschienen in: Lecture notes in computer science ; 4888

  14. Kordon, Fabrice [Sonstige Person, Familie und Körperschaft]; Vardanega, Tullio [Sonstige Person, Familie und Körperschaft]

    Reliable Software Technologies – Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 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 ; 5026

  15. Kordon, Fabrice [Sonstige Person, Familie und Körperschaft]; Sztipanovits, Janos [Sonstige Person, Familie und Körperschaft]

    Reliable Systems on Unreliable Networked Platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. 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, 2007

    Erschienen in: Lecture notes in computer science ; 4322

  16. Beyer, Dirk [Herausgeber:in]; Hartmanns, Arnd [Herausgeber:in]; Kordon, Fabrice [Herausgeber:in]

    TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions - [1st ed. 2025.]

    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.

    Cham: Springer Nature Switzerland, 2025. ; Cham: Imprint: Springer, 2025.

    Erschienen in: Lecture Notes in Computer Science ; 14550

  17. Koutny, Maciej [Herausgeber:in]; Kordon, Fabrice [Herausgeber:in]; Moldt, Daniel [Herausgeber:in]

    Transactions on Petri Nets and Other Models of Concurrency XVI - [1st ed. 2022.]

    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, 2022. ; Berlin, Heidelberg: Imprint: Springer, 2022.

    Erschienen in: Transactions on Petri Nets and Other Models of Concurrency ; 13220

  18. Koutny, Maciej [Herausgeber:in]; Kordon, Fabrice [Herausgeber:in]; Pomello, Lucia [Herausgeber:in]

    Transactions on Petri Nets and Other Models of Concurrency XV - [1st ed. 2021.]

    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, 2021. ; Berlin, Heidelberg: Imprint: Springer, 2021.

    Erschienen in: Transactions on Petri Nets and Other Models of Concurrency ; 12530

  19. Metin, Hakan [Verfasser:in] ; Sorbonne université [Mitwirkende:r]; Kordon, Fabrice [Mitwirkende:r]; Baarir, Souheib [Mitwirkende:r]

    Exploitation des symétries dynamiques pour la résolution des problèmes SAT ; Exploitation of dynamic symmetries for solving SAT problems

    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, 2019-12-18

  20. Beyer, Dirk [Verfasser:in] ; Huisman, Marieke [Herausgeber:in]; Kordon, Fabrice [Herausgeber:in]; Steffen, Bernhard [Herausgeber:in]

    Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

    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.

    [Erscheinungsort nicht ermittelbar]: Springer Nature, 2019