Enforceable component-based realtime contracts. Supporting realtime properties from software development to execution

From MaRDI portal
(Redirected from Publication:862528)