Analyzing a χ model of a turntable system using Spin, CADP and Uppaal
| Autor: | Bortnik, E., Trčka, N., Wijs, A.J., Luttik, B., van de Mortel-Fronczak, J.M., Baeten, J.C.M., Fokkink, W.J., Rooda, J.E. |
|---|---|
| Zdroj: | In Journal of Logic and Algebraic Programming 2005 65(2):51-104 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect