Proof-Based System Engineering and Embedded Systems

GĂ©rard Le Lann. Proof-Based System Engineering and Embedded Systems. In Grzegorz Rozenberg, Frits W. Vaandrager, editors, Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996. Volume 1494 of Lecture Notes in Computer Science, pages 208-248, Springer, 1996.

Abstract

Abstract is missing.