( en | de | ru )

 

Disambiguierung von "Ressouche, Annie"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Toward Validated Composition in Component-Based Adaptive Middleware.

, , und . SC@TOOLS, Volume 6708 von Lecture Notes in Computer Science, Seite 165-180. Springer, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Maik Annies

Sylvia Annies

Roger Annies

Susanne Annies

Annie Haupt

 

Weitere Publikationen von Autoren mit dem selben Namen

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