Martin Pohlack

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Enforceable component-based realtime contracts. Supporting realtime properties from software development to execution
Real-Time Systems
2007-01-24Paper


Research outcomes over time


This page was built for person: Martin Pohlack