( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal specification and verification of wireless networked self-organized Systems on Chip.

, , , и . CoDIT, стр. 730-735. IEEE, (2014)

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.

Mostefa Kokabi

Mostefa Bouchetara

Mostefa Kokabi

Mostefa Kokabi

Mostefa Kokabi

 

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

Formal Test and Simulation Environment of Wireless Body Network., , , и . ICOST, том 10461 из Lecture Notes in Computer Science, стр. 240-246. Springer, (2017)Contribution to the development of a rapid prototyping platform model for reconfigurable nano-biosensors based on nanotechnologies., , и . ANT/EDI40, том 151 из Procedia Computer Science, стр. 891-896. Elsevier, (2019)Based Principal Component Analysis of Associated Ionic Liquid Biosensors., , и . ANT/SEIT, том 83 из Procedia Computer Science, стр. 1038-1043. Elsevier, (2016)Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata., , и . DS-RT, стр. 188-195. IEEE Computer Society, (2004)Formal specification and verification of wireless networked self-organized Systems on Chip., , , и . CoDIT, стр. 730-735. IEEE, (2014)Formal Modelling of Real-Time Embedded Automotive Architecture.. Transactions of the SDPS, 13 (2): 1-18 (2009)Characterization and Analytical Evaluation Based on the 3- Layer Approach of Smart Buildings., , , , , и . ACTEA, стр. 83-88. IEEE, (2023)Temporal validation of Real Time multitasking applications based on communicating timed automata., , и . FDL, стр. 578-586. ECSI, (2004)