TY -
GEN
AU - Clarke, Dave
AU - Diakov, Nikolay
AU - Hähnle, Reiner
AU - Johnsen, Einar Broch
AU - Schaefer, Ina
AU - Schäfer, Jan
AU - Schlatte, Rudolf
AU - Wong, Peter Y. H.
TI -
Formal Methods for Eternal Networked Software Systems: Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language
PB - Springer Berlin Heidelberg
SN - 0302-9743
SN - 1611-3349
PY - 2011
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -