Formal verification of Chi models using PHAVer (extended version)
| Autor: | Beek, van, D.A., Man, K.L., Reniers, M.A., Rooda, J.E., Schiffelers, R.R.H., Troch, I., Breitenecker, F. |
|---|---|
| Přispěvatelé: | Model Driven Software Engineering, Design and Analysis of Systems, Formal System Analysis |
| Jazyk: | angličtina |
| Rok vydání: | 2006 |
| Zdroj: | Proceedings of the 5th MATHMOD Conference (Vienna, Austria, February 8-10, 2006), CD-ROM |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|