Вы здесь

Halbwachs N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Synchronous Modeling of Asynchronous Systems 2002 Halbwachs N., Baghdadi S. Lecture Notes in Computer Science 12.11.2002
СТ Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing 1999 Halbwachs N., Raymond P. Lecture Notes in Computer Science 28.12.1999
СТ Synchronous Programming of Reactive Systems 1998 Halbwachs N. Lecture Notes in Computer Science 03.07.1998
СТ Compositional Semantics of Non-deterministic Synchronous Languages 1996 Maraninchi F., Halbwachs N. Lecture Notes in Computer Science 18.05.1996
СТ About Synchronous Programming and Abstract Interpretation 1994 Halbwachs N. Lecture Notes in Computer Science 24.11.1994
СТ Verification of Linear Hybrid Systems by Means of Convex Approximations 1994 Halbwachs N., Proy Y. -E., Raymond P. Lecture Notes in Computer Science 24.11.1994
СТ Data-flow Synchronous Languages 1994 Benveniste A., Caspi P., Le Guernic P., Halbwachs N. Lecture Notes in Computer Science 04.08.1994
СТ Automatic Discovery of Linear Restraints Among Variables of a Program 1978 Cousot P., Halbwachs N. Proc. of Conf. Record of the Fifth Annual ACM Symp. on Principles of Programming Languages 06.04.1994
П Determination Automatique de Relations Lineaires Verifiees par les Variables d un Programme (These) 1979 Halbwachs N. 06.04.1994
П Projet SYNCHRONE. Les formats communs des langages syncrones 1993 Paris J. -P., Berry G., Mignard F., Couronne P., Caspi P., Halbwachs N., Sorel Y., Benveniste A., Gautier T., Le Guernic P., Dupont F., Le Maire C. INRIA 27.01.1994
СТ Delay analysis in synchronous programs 1993 Halbwachs N. Lecture Notes in Computer Science 20.08.1993
СТ An Experience in Proving Regular Networks of Processes by Modular Model Checking 1992 Halbwachs N., Lagnier F., Ratel C. Acta Informatica 16.12.1992
СТ Minimization of Timed Transition Systems 1992 Alur R., Courcoubetis C., Halbwachs N., Dill D., Wong-Toi H. Lecture Notes in Computer Science 16.10.1992
СТ Programming and Verifying critical Systems by Means of the Synchronous Data-Flow Language LUSTRE 1991 Ratel C., Halbwachs N., Raymond P. Software Engineering Notes 03.04.1992