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