Syspect -- Modelling, Specifying, and Verifying Real-Time Systems with Rich Data.
| Autor: | Faber, Johannes, Linker, Sven, Olderog, Ernst-Rüdiger, Quesel, Jan-David |
|---|---|
| Zdroj: | International Journal of Software & Informatics; Mar2011, Vol. 5 Issue 1/2pt 1, p117-137, 21p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|