Modelization and Verification of a Multiprocessor Realtime OS Kernel (1994)

Cached

Download Links

by Thierry Cattel , Thierry Cattel
Citations:17 - 2 self

Document Versions

Modelization and Verification of a Multiprocessor Realtime OS Kernel –Thierry Cattel, Thierry Cattel — 1994
Modelling and verification of a multiprocessor realtime OS kernel –Thierry Cattel, Thierry Cattel — 1994 — In 7th Internation Conference on Formal Description Techniques