Old Web
English
Sign In
Acemap
>
Paper
>
Automated Verification of Executable UML Models
Automated Verification of Executable UML Models
2012
Howard H. Hansen
Jeroen Ketema
S.P. Luttik
Mohammad Reza Mousavi
Pol van de J. C
Santos Marchi dos O
Bernhard K. Aichernig
Boer de F. S
Marcello M. Bonsangue
Keywords:
Applications of UML
Machine learning
Software verification
Artificial intelligence
Mathematics
Computer architecture
Verification
Intelligent verification
Executable UML
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]