Jump to Navigation

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., and L. Panizo
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


Main menu 2

Biblio | by Dr. Radut