Extending PROMELA and SPIN for hybrid system analysis80

TitleExtending PROMELA and SPIN for hybrid system analysis80
Publication TypeConference Paper
Year of Publication2010
AuthorsGallardo M-del-M, Panizo L
Conference NameProceedings of the 10th international workshop on automated verification of critical systems and the rodin user and developer workshop. AVoCS’10. Düsseldorf, Germany. September 20-23, 2010
Date Publishedoct