DMCA

Modeling and Verification of Distributed Real-Time Systems using Periodic Finite State Machines

by R. Obermaisser , C. El-salloum , B. Huber , H. Kopetz
Citations:2 - 1 self