A Model-Based Certification Framework for the EnergyBus Standard.

Alexander Graf-Brill, Holger Hermanns, Hubert Garavel

Browse the full FORTE paper archive.