A Model-Based Approach to Constructing Safe Soft Real-Time Programs for Non-Real-Time Environments.

Ilankaikone Senthooran, Takuo Watanabe

Browse the full SNPD paper archive.