Jump to Navigation

Dam management based on model checking techniques

TitleDam management based on model checking techniques
Publication TypeConference Paper
Year of Publication2010
AuthorsPanizo, L., M-del-M. Gallardo, P. Merino, D. Sanán, and A. Linares
Conference Name8th International conference on software engineering and formal methods. SEFM 2010: proceedings of the posters and tooldemo session. CNR, Pisa, Italy 13-18 september 2010
Date Publishedoct
PublisherConsiglio Nazionale delle Ricerche
Conference LocationPisa, Italy
ISBN Number978-88-7958-006-9


Main menu 2

Biblio | by Dr. Radut