( en | de | ru )

 

Disambiguation of "Ressouche, Annie"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Formalizing Behavioral Substitutability in Component Frameworks.

, , and . SEFM, page 122-131. IEEE Computer Society, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Maik Annies

Sylvia Annies

Roger Annies

Susanne Annies

Annie Haupt

 

Other publications of authors with the same name

On the use of formal methods to model and verify neuronal archetypes., , , , , , and . Frontiers Comput. Sci., 16 (3): 163404 (2022)Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems., , , , and . HSB, volume 9957 of Lecture Notes in Computer Science, page 97-112. (2016)Compilation modulaire d'un langage synchrone Spécification, simulation, implémentation et vérification d'applications synchrones., and . Technique et Science Informatiques, 30 (4): 441-471 (2011)Modular Compilation of a Synchronous Language, , and . CoRR, (2008)Compositional Semantics of ESTEREL and Verification by Compositional Reductions., and . CAV, volume 818 of Lecture Notes in Computer Science, page 441-454. Springer, (1994)Towards Formalizing Behavioral Substitutability in Component Frameworks., , and . SEFM, page 122-131. IEEE Computer Society, (2004)Blocks, a component framework with checking facilities for knowledge-based systems., , and . Informatica (Slovenia), (2001)The FC2TOOLS Set., , , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 441-445. Springer, (1996)The Clem Toolkit., and . ASE, page 495-496. IEEE Computer Society, (2008)Toward Validated Composition in Component-Based Adaptive Middleware., , and . SC@TOOLS, volume 6708 of Lecture Notes in Computer Science, page 165-180. Springer, (2011)