Towards Reusable Formal Models for Custom Real-Time Operating Systems.

Julius Adelt, Julian Gebker, Paula Herber

Browse the full FMICS paper archive.