( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Modular Compilation of a Synchronous Language

, , и . CoRR, (2008)

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.

Mohammed Gaffer

Mohammed Gaffer

Mohammed Gaffer

Mohammed Gaffer

Daniel

 

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

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)Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems., , , , и . HSB, том 9957 из Lecture Notes in Computer Science, стр. 97-112. (2016)On the use of formal methods to model and verify neuronal archetypes., , , , , , и . Frontiers Comput. Sci., 16 (3): 163404 (2022)Concurrent Control Systems: From Grafcet to VHDL., , и . EUROMICRO, стр. 1230-1234. IEEE Computer Society, (2000)Modular Compilation of a Synchronous Language, , и . CoRR, (2008)Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free., , , , и . BIOSTEC (Selected Papers), том 1024 из Communications in Computer and Information Science, стр. 167-191. Springer, (2018)Computer-aided Formal Proofs about Dendritic Integration within a Neuron., , , , и . BIOINFORMATICS, стр. 49-60. SciTePress, (2018)Le modèle de Grafcet: réflexion et intégration dans une plate-forme multiformalisme synchrone. (The grafcet model: Discussion and integration in a multiformalism synchronous platform).. University of Nice Sophia Antipolis, France, (1996)The Clem Toolkit., и . ASE, стр. 495-496. IEEE Computer Society, (2008)A Synchronous Approach to Activity Recognition., , , и . ICSC, стр. 304-305. IEEE Computer Society, (2018)