An approach to modeling and evaluation of functional and timing specifications of real-time systems
| Autor: | Naedele, Martin * |
|---|---|
| Zdroj: | In The Journal of Systems & Software 2001 57(2):155-174 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Naedele, Martin * |
|---|---|
| Zdroj: | In The Journal of Systems & Software 2001 57(2):155-174 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect