( en | de | ru )

 

Disambiguation of "Ressouche, Annie"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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

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)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)The FC2TOOLS Set., , , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 441-445. Springer, (1996)Toward Validated Composition in Component-Based Adaptive Middleware., , and . SC@TOOLS, volume 6708 of Lecture Notes in Computer Science, page 165-180. Springer, (2011)The Clem Toolkit., and . ASE, page 495-496. IEEE Computer Society, (2008)Algebraic Framework for Synchronous Language Semantics., and . TASE, page 51-58. IEEE Computer Society, (2013)An activity description language for activity recognition., , , , and . IINTEC, page 177-182. IEEE, (2017)A Model-checking Approach to Reduce Spiking Neural Networks., , , and . BIOINFORMATICS, page 89-96. SciTePress, (2018)Modelling and Formal Verification of Neuronal Archetypes Coupling., , , , and . CSBio, page 3-10. ACM, (2017)