Suchergebnisse - Grosu, Radu

A denotational model for mobile many-to-many data-flow networks

von Grosu, Radu, Stølen, Ketil

A formal foundation for concurrent object oriented programming

von Grosu, Radu

Inhaltsverzeichnis

The specification language SPECTRUM: core language report V1.0

von Grosu, Radu, Nazareth, Dieter

Inhaltsverzeichnis

The logical framework of SPECTRUM

von Grosu, Radu, Regensburger, Franz

Concurrent timed port automata

von Grosu, Radu, Rumpe, Bernhard 1967-

A denotational model for mobile point-to-point dataflow networks

von Grosu, Radu, Stølen, Ketil

Inhaltsverzeichnis

Modular and visual specification of hybrid systems: an introdcution to hyCharts

von Grosu, Radu, Stauner, Thomas 1971-

Inhaltsverzeichnis
Per Fernleihe bestellen

Enhancing the SYSLAB system model with state

von Grosu, Radu, Klein, Cornel, Rumpe, Bernhard 1967-

Inhaltsverzeichnis
Per Fernleihe bestellen

The logic framework of SPECTRUM

von Grosu, Radu, Regensburger, Franz

Per Fernleihe bestellen

A formal foundation for concurrent object oriented programming

von Grosu, Radu

Per Fernleihe bestellen

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

Weitere beteiligte Personen: “… Grosu, Radu …”
Online lesen