Treffer 1 – 11 von 11 für Suche 'Kordon, Fabrice', Suchdauer: 0,06s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Embedded systems analysis and modeling with SysML, UML and AADL

    Embedded systems analysis and modeling with SysML, UML and AADL von Kordon, Fabrice

    Veröffentlicht 2013
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Transactions on Petri Nets and Other Models of Concurrency XVI

    Transactions on Petri Nets and Other Models of Concurrency XVI

    Veröffentlicht 2022
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

    TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

    Veröffentlicht 2025
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Transactions on petri nets and other models of concurrency XV

    Transactions on petri nets and other models of concurrency XV

    Veröffentlicht 2021
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Challenges and opportunity with big data 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016 : revised selected papers

    Challenges and opportunity with big data 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016 : revised selected papers

    Veröffentlicht 2017
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    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

    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 : proceeding...

    Veröffentlicht 2019
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  7. 7
    Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016: proceedings

    Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016: proceedings

    Veröffentlicht 2016
    Weitere Verfasser: “… Kordon, Fabrice …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Application and theory of Petri Nets and concurrency 37th international conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016 : proceedings

    Application and theory of Petri Nets and concurrency 37th international conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016 : proceedings

    Veröffentlicht 2016
    Weitere Verfasser: “… Kordon, Fabrice …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Reliable systems on unreliable networked platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 ; revised selected papers

    Reliable systems on unreliable networked platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 ; revised selected papers

    Veröffentlicht 2007
    Weitere Verfasser: “… Kordon, Fabrice …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Special section on rapid system prototyping [Papers from the 11th IEEE International Workshop on Rapid System Prototyping, Paris, 21 - 23 June 2000]

    Special section on rapid system prototyping [Papers from the 11th IEEE International Workshop on Rapid System Prototyping, Paris, 21 - 23 June 2000]

    Veröffentlicht 2002
    Weitere Verfasser: “… Kordon, Fabrice …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Formal Methods for Embedded Distributed Systems How to master the complexity

    Formal Methods for Embedded Distributed Systems How to master the complexity

    Veröffentlicht 2004
    Weitere Verfasser: “… Kordon, Fabrice …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: