Jump to Navigation

A practical use of model checking for synthesis: generating a dam controller for flood management

TitleA practical use of model checking for synthesis: generating a dam controller for flood management
Publication TypeJournal Article
Year of Publication2011
AuthorsGallardo, M-del-M., P. Merino, L. Panizo, and A. Linares
JournalSoftware Practice & Experience
Volume41
Pagination1329–1347
Date Publishedjan
PublisherJohn Wiley
ISSN0038-0644


Main menu 2

Biblio | by Dr. Radut