A Model-Based Certification Framework for the EnergyBus Standard Chapter

authors

Garavel, Hubert

publication date

January 1, 2014

has subject area

published in

Lecture Notes in Computer Science

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-662-43613-4_6

start page

84

end page

99