The ESMoL Language and Tools for High-Confi dence Distributed Control Systems Design. Part 1: Language, Framework, and Analysis
Thu, 09/23/2010 - 11:21am
| Title | The ESMoL Language and Tools for High-Confi dence Distributed Control Systems Design. Part 1: Language, Framework, and Analysis |
| Publication Type | Report |
| Year of Publication | 2010 |
| Authors | Porter, J., G. Hemingway, H. Nine, C. vanBuskirk, N. Kottenstette, G. Karsai, and J. Sztipanovits |
| Refereed Designation | Non-Refereed |
| Date Published | 09/2010 |
| Institution | Vanderbilt University |
| City | Nashville, TN |
| Report Number | ISIS-10-109 |
| Attachment | Size |
|---|---|
| ESMoL_TR.pdf | 3.99 MB |
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering