( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards a verified compiler prototype for the synchronous language SIGNAL.

, , , , , и . Frontiers Comput. Sci., 10 (1): 37-53 (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.

Ouidad Filali

Said Filali

Salima Filali

Mamoun Hajjar

Mamoun Hamdan

 

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

UML&AADL '2007 grand challenges., , , , , , , , и . SIGBED Review, 4 (4): 1 (2007)An Alternative Definition for Timed Automata Composition., , и . ATVA, том 6996 из Lecture Notes in Computer Science, стр. 105-119. Springer, (2011)Refinement Based Validation of an Algorithm for Detecting Distributed Termination., , , , и . IPDPS Workshops, том 1800 из Lecture Notes in Computer Science, стр. 1027-1036. Springer, (2000)Towards a HOL Theory and Memory., , и . TPHOLs, том 859 из Lecture Notes in Computer Science, стр. 49-64. Springer, (1994)On the Refinement of symmetric memory protocols., и . TPHOLs, том 971 из Lecture Notes in Computer Science, стр. 58-74. Springer, (1995)A State/Event Temporal Deontic Logic., , и . DEON, том 4048 из Lecture Notes in Computer Science, стр. 85-100. Springer, (2006)A comparative study of two formal semantics of the SIGNAL language., , и . Frontiers Comput. Sci., 7 (5): 673-693 (2013)Formal Verification of Solidity contracts in Event-B., , , , и . CoRR, (2020)A Mechanization of Phylogenetic Trees.. VERIFY, том 259 из CEUR Workshop Proceedings, CEUR-WS.org, (2007)Event B Development of a Synchronous AADL Scheduler., и . B@FM, том 280 из Electronic Notes in Theoretical Computer Science, стр. 23-33. Elsevier, (2011)