Suchergebnisse - Kordon, Fabrice

  • Treffer 1 – 11 von 11
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 2013
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    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 beteiligte Personen: “… Kordon, Fabrice …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    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 beteiligte Personen: “… Kordon, Fabrice …”
    Tagungsbericht Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Transactions on Petri Nets and Other Models of Concurrency XVI

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Kordon, Fabrice …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Transactions on petri nets and other models of concurrency XV

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Kordon, Fabrice …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Kordon, Fabrice …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    TOOLympics Challenge 2023: updates, results, successes of the formal-methods competitions

    Veröffentlicht 2025
    Weitere beteiligte Personen: “… Kordon, Fabrice …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

    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

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Kordon, Fabrice …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

    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 beteiligte Personen: “… Kordon, Fabrice …”
    Tagungsbericht Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    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 beteiligte Personen: “… Kordon, Fabrice …”
    Tagungsbericht Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Formal Methods for Embedded Distributed Systems: How to master the complexity

    Veröffentlicht 2004
    Weitere beteiligte Personen: “… Kordon, Fabrice …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: