Safety, liveness and real-time in embedded system design

Autor: Klapuri, Harri, Takala, Jarmo, Saarinen, Jukka
Zdroj: In Journal of Network and Computer Applications April 1999 22(2):69-89
Databáze: ScienceDirect