Jump to Navigation

Generation of safe operations for dam management using formal methods

TitleGeneration of safe operations for dam management using formal methods
Publication TypeConference Paper
Year of Publication2012
AuthorsPanizo, L., and M-del-M. Gallardo
Conference NameXX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2012. Pamplona, 13-15 de junio de 2012
Date Publishedjun


Main menu 2

Biblio | by Dr. Radut