Verification Support for a State-Transition-DSL defined with Xtext
Konferenzbeitrag › Konferenzpaper
› 2015
Zitation
Konferenzbeitrag Full Paper
Baar, Thomas: Verification Support for a State-Transition-DSL defined with Xtext. In: Proceedings of Perspectives of System Informatics - 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith. Hg. von Manuel Mazzara, Andrei Voronkov. Heidelberg: Springer 2015( LNCS 9609), S. 50-60.