Treffer 1 - 5 von 5 für Suche 'Magnier, Janine', Suchdauer: 0,55s Treffer weiter einschränken
  1. 1
    Formal representation and proof of the interpreted sequential machine model

    Formal representation and proof of the interpreted sequential machine model von Larnac, Mireille, Chapurlat, Vincent, Magnier, Janine, Chenot, Benjamin


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Temporal and functional verification of a symbolic representation of complex systems

    Temporal and functional verification of a symbolic representation of complex systems von Larnac, Mireille, Magnier, Janine, Vandermeulen, Eric, Dray, Gérard, Chapurlat, Vincent


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Simplification of Proof Procedures Based on the Path Condition Concepts

    Simplification of Proof Procedures Based on the Path Condition Concepts von Larnac, Mireille, Magnier, Janine, Chapurlat, Vincent


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Integrated and Reactive Part Routing Policies for Manufacturing Systems

    Integrated and Reactive Part Routing Policies for Manufacturing Systems von Larnac, Mireille, Chapurlat, Vincent, Magnier, Janine

    Veröffentlicht in IFAC Proceedings Volumes

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Temporal verification of behavioral descriptions in VHDL

    Temporal verification of behavioral descriptions in VHDL von Boussebha, Djamel, Giambiasi, Norbert, Magnier, Janine

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: