Verifying temporal constraints on data in multi-rate transactions using timed automata.
| Autor: | Wall, A., Sandstrom, K., Maki-Turja, J., Norstrom, C., Wang Yi |
|---|---|
| Zdroj: | Proceedings Seventh International Conference on Real-Time Computing Systems & Applications; 2000, p263-270, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|