An Automatic Technique for Checking the Simulation of Timed Systems.
| Autor: | Fares, Elie, Bodeveix, Jean-Paul, Filali-Amine, Mamoun, Garnacho, Manuel |
|---|---|
| Zdroj: | Automated Technology for Verification & Analysis (9783319024431); 2013, p71-86, 16p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|