( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Toward Validated Composition in Component-Based Adaptive Middleware.

, , и . SC@TOOLS, том 6708 из Lecture Notes in Computer Science, стр. 165-180. Springer, (2011)

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.

Maik Annies

Sylvia Annies

Roger Annies

Susanne Annies

Annie Haupt

 

Другие публикации лиц с тем же именем

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