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 |
Externí odkaz: |
Autor: | Klapuri, Harri, Takala, Jarmo, Saarinen, Jukka |
---|---|
Zdroj: | In Journal of Network and Computer Applications April 1999 22(2):69-89 |
Databáze: | ScienceDirect |
Externí odkaz: |