You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Article
Title:
Formal Methods for Eternal Networked Software Systems: Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language
Contributor:
Clarke, Dave;
Diakov, Nikolay;
Hähnle, Reiner;
Johnsen, Einar Broch;
Schaefer, Ina;
Schäfer, Jan;
Schlatte, Rudolf;
Wong, Peter Y. H.
imprint:
Springer Berlin Heidelberg, 2011
Published in:Formal Methods for Eternal Networked Software Systems