Combining Dependability with Architectural Adatability by Means of the SIGNAL Language

Olivier Maffeïs, Paul Le Guernic. Combining Dependability with Architectural Adatability by Means of the SIGNAL Language. In Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy, editors, Static Analysis, Third International Workshop, WSA 93, Padova, Italy, September 22-24, 1993, Proceedings. Volume 724 of Lecture Notes in Computer Science, pages 99-110, Springer, 1993.

Abstract

Abstract is missing.