A Formal design technique for real-time embedded systems development using duration calculus.

De Montfort University Open Research Archive

This item appears in the following Collection(s)