From post

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.

 

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

Mobile Embedded System Co-Verification Modeling Using Java Observability., и . Embedded Systems and Applications, стр. 151-154. CSREA Press, (2003)Code Synthesis for Timed Automata: A Comparison Using Case Study., , , и . ASM, том 5977 из Lecture Notes in Computer Science, стр. 403. Springer, (2010)A Universal Model for Defective Classes Prediction Using Different Object-Oriented Metrics Suites., , , и . NILES, стр. 65-70. IEEE, (2020)Mobile GPU Cloud Computing with real time application., , и . ICEAC, стр. 1-4. IEEE, (2015)Transaction Level Modeling in Java., и . FDL, стр. 518-526. ECSI, (2004)TCTL-Based Verification of Industrial Processes., , , и . FDL, стр. 456-468. ECSI, (2003)Real-Time Mobile Cloud Computing: A Case Study in Face Recognition., , и . AINA Workshops, стр. 73-78. IEEE Computer Society, (2014)Observability-Based RTL Simulation using JAVA., и . IWSOC, стр. 179-182. IEEE Computer Society, (2004)FPGA based accelerator for functional simulation., , , и . ISCAS (5), стр. 317-320. IEEE, (2004)Automatic code generation from verified timed automata model., , , , и . IADIS AC (1), стр. 243-250. IADIS Press, (2009)