Suchergebnisse - Plun, Jerome Y | OPAC THWS

1

Mobile UNITY: reasoning and specification in mobile computing von Roman, Gruia-Catalin, McCann, Peter J., Plun, Jerome Y.

Veröffentlicht in ACM transactions on software engineering and methodology

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Pavane: a system for declarative visualization of concurrent computations von Roman, Gruia-Catalin, Cox, Kenneth C, Wilcox, C.Donald, Plun, Jerome Y

Veröffentlicht in Journal of visual languages and computing

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Dynamic synchrony among atomic actions von Roman, G.-C., Plun, Y.J., Wilcox, C.D.

Veröffentlicht in IEEE transactions on parallel and distributed systems

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Mobile UNITY von Roman, Gruia-Catalin, McCann, Peter J, Plun, Jerome Y

Veröffentlicht in ACM transactions on software engineering and methodology

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

On deriving distributed programs from formal specifications of functional requirements and architectural constraints von Roman, G.-C., Wilcox, C.D., Plun, J.Y.

Volltext bestellen

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Pavane: A System for Declarative Visualization of Concurrent Computations von Roman, Gruia-Catalin, Cox, Kenneth C, Wilcox, C D, Plun, Jerome Y

Volltext bestellen

Report

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: