From SysML to Model Checkers via Model Transformation

Article Details
Title:	From SysML to Model Checkers via Model Transformation
Article URLs:	https://doi.org/10.1007/978-3-319-94111-0_15
Alternative Article URLs:
Authors:	Martin Kölbl	University of Konstanz
	Stefan Leue	University of Konstanz
	Hargurbir Singh	University of Konstanz
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/spin/KolblLS18
Author Comments:

Intl. Symposium on Model Checking Software, SPIN 2018