Modelling MajorCAN with UPPAAL.
| Autor: | Bonet, M., Donaire, G., Proenza, J. |
|---|---|
| Zdroj: | 2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007); 2007, p1404-1407, 4p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Bonet, M., Donaire, G., Proenza, J. |
|---|---|
| Zdroj: | 2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007); 2007, p1404-1407, 4p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|