Jump to Navigation

Integration of quantitative aspects into SPIN to develop a decision support tool for dams

TitleIntegration of quantitative aspects into SPIN to develop a decision support tool for dams
Publication TypeConference Paper
Year of Publication2009
AuthorsGallardo, M-del-M., P. Merino, and L. Panizo
Conference NameSusana Andova, et al. (eds.). Workshop on Quantitative Formal Methods: Theory and Applications (QFM'09). November 3, Eindhoven, The Netherlands. Preliminary proceedings
Date Publishednov


Main menu 2

Biblio | by Dr. Radut