Validation of reactive embedded systems against temporal requirements.
| Autor: | Strug, J., Deniziak, S., Sapiecha, K. |
|---|---|
| Zdroj: | Proceedings 11th IEEE International Conference & Workshop on the Engineering of Computer-Based Systems, 2004; 2004, p152-159, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|