Verfasser Suchresultate :: Subito Katalog

1

A formal foundation for concurrent object oriented programming

von Grosu, Radu
Veröffentlicht 1995

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

State transition diagrams

Veröffentlicht 1996

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

A formal foundation for concurrent object oriented programming

von Grosu, Radu
Veröffentlicht 1995

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

A formal foundation for concurrent object oriented programming

von Grosu, Radu
Veröffentlicht 1995

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

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

von Grosu, Radu
Veröffentlicht 1995

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

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

von Grosu, Radu
Veröffentlicht 1998

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Concurrent timed port automata

von Grosu, Radu
Veröffentlicht 1995

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

The specification language SPECTRUM : core language report V1.0

von Grosu, Radu
Veröffentlicht 1994

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Safe Policy Improvement in Constrained Markov Decision Processes

von Berducci, Luigi
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

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

von Grosu, Radu
Veröffentlicht 1996

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

The logic framework of SPECTRUM

von Grosu, Radu
Veröffentlicht 1994

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

The specification language Spectrum core language report V1.0

von Grosu, Radu
Veröffentlicht 1994

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

The logical framework of SPECTRUM

von Grosu, Radu
Veröffentlicht 1994

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

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

von Grosu, Radu
Veröffentlicht 1995

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Concurrent timed port automata

von Grosu, Radu
Veröffentlicht 1995

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

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

von Grosu, Radu
Veröffentlicht 1996

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

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

von Grosu, Radu
Veröffentlicht 1998

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Enhancing the SYSLAB system model with state

von Grosu, Radu
Veröffentlicht 1996

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Enhancing the SYSLAB system model with state

von Grosu, Radu
Veröffentlicht 1996

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

State transition diagrams

Veröffentlicht 1996

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: