Treffer 1 - 11 von 11 für Suche 'Grosu, Radu', Suchdauer: 2,94s Treffer weiter einschränken
  1. 1
    A denotational model for mobile many-to-many data-flow networks

    A denotational model for mobile many-to-many data-flow networks von Grosu, Radu, Stølen, Ketil

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A formal foundation for concurrent object oriented programming

    A formal foundation for concurrent object oriented programming von Grosu, Radu

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    The logical framework of SPECTRUM

    The logical framework of SPECTRUM von Grosu, Radu, Regensburger, Franz

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    The specification language SPECTRUM core language report V1.0

    The specification language SPECTRUM core language report V1.0 von Grosu, Radu, Nazareth, Dieter

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    A formal foundation for concurrent object oriented programming

    A formal foundation for concurrent object oriented programming von Grosu, Radu

    Veröffentlicht 1994
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Modular and visual specification of hybrid systems an introdcution to hyCharts

    Modular and visual specification of hybrid systems an introdcution to hyCharts von Grosu, Radu, Stauner, Thomas 1971-

    Veröffentlicht 1998
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Enhancing the SYSLAB system model with state

    Enhancing the SYSLAB system model with state von Grosu, Radu, Klein, Cornel, Rumpe, Bernhard 1967-

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Concurrent timed port automata

    Concurrent timed port automata von Grosu, Radu, Rumpe, Bernhard 1967-

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    A denotational model for mobile point-to-point dataflow networks

    A denotational model for mobile point-to-point dataflow networks von Grosu, Radu, Stølen, Ketil

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    The logic framework of SPECTRUM

    The logic framework of SPECTRUM von Grosu, Radu, Regensburger, Franz

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    From reactive systems to cyber-physical systems essays dedicated to Scott A. Smolka on the occasion of his 65th birthday

    From reactive systems to cyber-physical systems essays dedicated to Scott A. Smolka on the occasion of his 65th birthday

    Veröffentlicht 2019
    Weitere Verfasser:
    BTU01
    FHA01
    FHI01
    FHM01
    FHN01
    FHR01
    FKE01
    FLA01
    FRO01
    FWS01
    FWS02
    HTW01
    TUM01
    UBG01
    UBM01
    UBR01
    UBT01
    UBW01
    UBY01
    UER01
    UPA01
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: