Enforceable component-based realtime contracts: Supporting realtime properties from software development to execution
Härtig, Hermann, Zschaler, Steffen, Pohlack, Martin, Aigner, Ronald, Göbel, Steffen, Pohl, Christoph, Röttger, Simone
Published in Real-time systems (01.01.2007)
Published in Real-time systems (01.01.2007)
Get full text
Journal Article