A Formal Contract-Based Model for Component-Based Real-Time Systems
Conference proceeding (November 2017)
The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.
Conference proceeding (November 2017)
Conference proceeding in Proceedings of SPIE--the International Society for Optical Engineering (August 2017)