Toennemann, Jan;
Rausch, Andreas;
Howar, Falk;
Cool, Benjamin
Formal Methods for Industrial Critical Systems: Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL
You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Article
Title:
Formal Methods for Industrial Critical Systems: Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL
Contributor:
Toennemann, Jan;
Rausch, Andreas;
Howar, Falk;
Cool, Benjamin
imprint:
Springer International Publishing, 2018
Published in:Formal Methods for Industrial Critical Systems