Using SPIN to Check Simulink Stateflow Models
International Journal of Networked and Distributed Computing - Netherlands
doi 10.2991/ijndc.2016.4.1.7
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2016
Authors
Publisher
Atlantis Press