| 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 | |