View in EDS PDF Full Text

Deductive Verification of Cooperative RTOS Applications.

Saved in:
Bibliographic Details
Title: Deductive Verification of Cooperative RTOS Applications.
Authors: Tasche, Philip1, p.b.h.tasche@utwente.nl, Herber, Paula2, paula.herber@uni-muenster.de, Huisman, Marieke1, m.huisman@utwente.nl
Source: ACM Transactions on Embedded Computing Systems; 2025 Suppl 5, Vol. 24, p1-25, 25p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first