Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong. Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. In Marco Bernardo, Valérie Issarny, editors, Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Volume 6659 of Lecture Notes in Computer Science, pages 417-457, Springer, 2011. [doi]

This author has not been identified. It may be one of the following persons:

Dave Clarke

Look up 'Dave Clarke' in GoogleThis author has not been identified. Look up 'Nikolay Diakov' in GoogleThis author has not been identified. Look up 'Reiner Hähnle' in GoogleThis author has not been identified. Look up 'Einar Broch Johnsen' in GoogleThis author has not been identified. It may be one of the following persons:

Ina Schaefer

Look up 'Ina Schaefer' in GoogleThis author has not been identified. Look up 'Jan Schäfer' in GoogleThis author has not been identified. Look up 'Rudolf Schlatte' in GoogleThis author has not been identified. Look up 'Peter Y. H. Wong' in Google

runs on WebDSL