Treffer 1 - 20 von 38 für Suche 'HAMON GREGOIRE', Suchdauer: 0,68s Treffer weiter einschränken
  1. 1
    An Operational Semantics for Stateflow

    An Operational Semantics for Stateflow von Hamon, Grégoire, Rushby, John


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Tool Integration with the Evidential Tool Bus

    Tool Integration with the Evidential Tool Bus von Cruanes, Simon, Hamon, Gregoire, Owre, Sam, Shankar, Natarajan


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A computational model of time for stiff hybrid systems applied to control synthesis

    A computational model of time for stiff hybrid systems applied to control synthesis von Mosterman, Pieter J., Zander, Justyna, Hamon, Gregoire, Denckla, Ben

    Veröffentlicht in Control engineering practice

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Synchronous Dataflow Pattern Matching

    Synchronous Dataflow Pattern Matching von Hamon, Grégoire


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    A computational model of time for stiff hybrid systems applied to control synthesis : IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09) in Zaragoza, Spain, 16th-18th September, 2009

    A computational model of time for stiff hybrid systems applied to control synthesis : IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09) in Zaragoza, Spain, 16th-18... von MOSTERMAN, Pieter J, ZANDER, Justyna, HAMON, Gregoire, DENCKLA, Ben

    Veröffentlicht in Control engineering practice

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Clock-directed modular code generation for synchronous data-flow languages

    Clock-directed modular code generation for synchronous data-flow languages von Biernacki, Dariusz, Colaço, Jean-Louis, Hamon, Gregoire, Pouzet, Marc

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    An operational semantics for Stateflow

    An operational semantics for Stateflow von Hamon, Grégoire, Rushby, John


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Timer analysis and identification

    Timer analysis and identification von HAMON GREGOIRE

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

    Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings von Giacobazzi, Roberto, Berdine, Josh, Mastroeni, Isabella

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Timer analysis and identification

    Timer analysis and identification von Hamon, Gregoire

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Timer analysis and identification

    Timer analysis and identification von HAMON GREGOIRE

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Automatic test generation for model-based code coverage

    Automatic test generation for model-based code coverage von Kalmar Zsolt, Hamon Gregoire, Aldrich William J

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Verification and validation system for a graphical model

    Verification and validation system for a graphical model von HAMON GREGOIRE, ALDRICH WILLIAM J

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Verification and validation system for a graphical model

    Verification and validation system for a graphical model von HAMON GREGOIRE, ALDRICH WILLIAM J

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Verification and validation system for a graphical model

    Verification and validation system for a graphical model von Aldrich, William J, Hamon, Gregoire

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Verification and validation system for a graphical model

    Verification and validation system for a graphical model von HAMON GREGOIRE, ALDRICH WILLIAM J

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Verification and validation system for a graphical model

    Verification and validation system for a graphical model von Aldrich, William J, Hamon, Gregoire

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Towards Computational Hybrid System Semantics for Time-Based Block Diagrams

    Towards Computational Hybrid System Semantics for Time-Based Block Diagrams von Mosterman, Pieter J., Zander, Justyna, Hamon, Gregoire, Denckla, Ben

    Veröffentlicht in IFAC Proceedings Volumes

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Formal methods for test case generation

    Formal methods for test case generation von Rushby, John, De Moura, Leonardo Mendonga, Hamon, Gregoire

    Volltext bestellen
    Report

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Formal methods for test case generation

    Formal methods for test case generation von HAMON GREGOIRE, RUSHBY JOHN, DE MOURA LEONARDO MENDONGA

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: