Automatische Verifikation von Statecharts durch Anbindung eines Model Checkers an einen Theorembeweiser

Autor:
Tuvshintur Tserendorj
Kategorie:
Diplomarbeit
Jahr:
2003