Back to Search
Start Over
Automated Verification of Executable UML Models
- Authors :
- Aichernig, B.K.
Boer, F.S. (Frank) de
Bonsangue, M.M. (Marcello)
Hansen, H.H. (Helle)
Ketema, J.
Luttik, S.P. (Bas)
Mousavi, M.R.
Pol, J.C. (Jaco) van de
Santos, O. (Osmar) Marchi dos
Aichernig, B.K.
Boer, F.S. (Frank) de
Bonsangue, M.M. (Marcello)
Hansen, H.H. (Helle)
Ketema, J.
Luttik, S.P. (Bas)
Mousavi, M.R.
Pol, J.C. (Jaco) van de
Santos, O. (Osmar) Marchi dos
- Publication Year :
- 2012
Details
- Database :
- OAIster
- Notes :
- English
- Publication Type :
- Electronic Resource
- Accession number :
- edsoai.on1251874411
- Document Type :
- Electronic Resource