Home

Safety property verification of Esterel programs and applications to telecommunications software


Author(s) : Carlos Puchol Carlos Puchol Lalita Jategaonkar Jagadeesan Lalita Jategaonkar Jagadeesan James Von Olnhausen James E. Von Olnhausen, 
Publisher : N/A
Publication Date : 1995
ISSN : N/A
Abstract : reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. 1,