Jump to Navigation

Developing a decision support tool for dam management with SPIN

TitleDeveloping a decision support tool for dam management with SPIN
Publication TypeConference Paper
Year of Publication2009
AuthorsGallardo, M-del-M., P. Merino, L. Panizo, and A. Linares
Conference NameMaría Alpuente; Byron Cook and Christophe Joubert (eds.). Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
Date Publishednov
PublisherSpringer
Conference LocationBerlin
ISBN Number3-642-04569-3
Abstract

doi:10.1007/978-3-642-04570-7



Main menu 2

Biblio | by Dr. Radut