Treffer 1 - 3 von 3 für Suche 'Hurnaus, Dominik', Suchdauer: 0,26s Treffer weiter einschränken
  1. 1
    Monaco—A domain-specific language solution for reactive process control programming with hierarchical components

    Monaco—A domain-specific language solution for reactive process control programming with hierarchical components von Prähofer, Herbert, Schatz, Roland, Wirth, Christian, Hurnaus, Dominik, Mössenböck, Hanspeter


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    MONACO - A domain-specific language supporting hierarchical abstraction and verification of reactive control programs

    MONACO - A domain-specific language supporting hierarchical abstraction and verification of reactive control programs von Prahofer, Herbert, Hurnaus, Dominik


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Absicherung von End-User Programmänderungen durch formale Kontrakte und Programmverifikation in der Automatisierungstechnik

    Absicherung von End-User Programmänderungen durch formale Kontrakte und Programmverifikation in der Automatisierungstechnik von PRAEHOFER, HERBERT, HURNAUS, DOMINIK

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: