A Model-Based Certification Framework for the EnergyBus Standard
| Title | A Model-Based Certification Framework for the EnergyBus Standard |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Graf{-}Brill, A, Hermanns, H, Garavel, H |
| Conference Name | Formal Techniques for Distributed Objects, Components, and Systems |
| URL | http://dx.doi.org/10.1007/978-3-662-43613-4_6 |
| DOI | 10.1007/978-3-662-43613-4_6 |
Work Package:
WP1
