 | 2011 |
| 7 |  | Silvije Jovalekic,
Tri Nguyen:
Specification and Verification of Time Properties in Distributed Automation Systems during Test Planning Phase.
COMPSAC Workshops 2011: 168-173 |
| 6 |  | Silvije Jovalekic,
Bernd Rist:
Automated testing of distributed real-time systems regarding configuration information.
MIPRO 2011: 792-796 |
| 1998 |
| 5 |  | Silvije Jovalekic,
Stefan Schweitzer,
Peter Sturmfol:
Gesichtspunkte für den Einsatz von objektorientierten Softwaremethoden und Standard-Bibliotheken in eingebetteten Echtzeitsystemen.
PEARL 1998: 78-87 |
| 4 |  | Silvije Jovalekic,
Bernd Rist:
Impact of Object-Oriented Software Engineering Applied to the Development of Security Systems.
SAFECOMP 1998: 143-155 |
| 1983 |
| 3 |  | Silvije Jovalekic:
Erstellung von Anforderungsspezifikationen für Automatisierungssysteme mit EPOS - Eigenschaften und Erfahrungen.
Requirements Engineering 1983: 92-103 |
| 1981 |
| 2 |  | Erich Joho,
Silvije Jovalekic:
Rechnergestützte Umsetzung von EPOS-Spezifikationen in PEARL-Programme.
Fachtagung Prozessrechner 1981: 119-128 |
| 1 |  | Rudolf Lauber,
Silvije Jovalekic:
Wie formal soll und darf die Beschreibung des Pflichtenheftes für ein Prozeßautomatisierungsssystem sein?
GI Jahrestagung 1981: 482-490 |