137
Voted
ISOLA
2010
Springer
15 years 20 days ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...