The ESMoL Language and Tools for High-Confi dence Distributed Control Systems Design. Part 1: Language, Framework, and Analysis | |
---|---|
Author | |
Year of Publication |
2010
|
Date Published |
09/2010
|
Institution |
Vanderbilt University
|
City |
Nashville, TN
|
Attachments |
Document
|
Google Scholar | BibTeX | XML |