Enforceable Component-Based Realtime Contracts -- Supporting Realtime Properties from Software Development to Execution

Hermann Härtig, Steffen Zschaler, Martin Pohlack, Ronald Aigner, Steffen Göbel, Christoph Pohl, Simone Röttger. Enforceable Component-Based Realtime Contracts -- Supporting Realtime Properties from Software Development to Execution. Real-Time Systems, 35(1), jan 2007. [doi]

Authors

Hermann Härtig

Identified as Hermann Härtig
(Technische Universität Dresden
)

Steffen Zschaler

Identified as Steffen Zschaler
(Technische Universität Dresden
)

Martin Pohlack

Identified as Martin Pohlack
(Technische Universität Dresden
)

Ronald Aigner

Identified as Ronald Aigner
(Technische Universität Dresden
)

Steffen Göbel

Identified as Steffen Göbel
(Technische Universität Dresden
)

Christoph Pohl

Identified as Christoph Pohl
(Technische Universität Dresden
)

Simone Röttger

Identified as Simone Röttger
(Technische Universität Dresden
)