Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Hubert Garavel  [Clear All Filters]
2014
A. Graf{-}Brill, H. Hermanns, and H. Garavel, “A Model-Based Certification Framework for the EnergyBus Standard”, in Formal Techniques for Distributed Objects, Components, and Systems, 2014.