( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Simple Testing Technique for Embedded Systems.

, и . OPODIS, том 3144 из Lecture Notes in Computer Science, стр. 159-170. Springer, (2003)

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.

Antoine Kahn

Antoine Derighetti

Rainer Antoine

Antoine Allam

Antoine Jammal

 

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

Runtime Enforcement of Timed Properties., , , , , и . RV, том 7687 из Lecture Notes in Computer Science, стр. 229-244. Springer, (2012)Robustness testing of composed real-time systems., , и . J. Comput. Methods Sci. Eng., 10 (3-6): 135-148 (2010)Testing Protocol Robustness., и . IICS, том 2877 из Lecture Notes in Computer Science, стр. 201-215. Springer, (2003)Testing robustness of communicating systems using ioco-based approach., и . ISCC, стр. 67-72. IEEE Computer Society, (2009)A pragmatic approach for testing robustness on real-time component based systems., , и . AICCSA, стр. 143. IEEE Computer Society, (2005)Optimal enforcement of (timed) properties with uncontrollable events., , , , и . Math. Struct. Comput. Sci., 29 (1): 169-214 (2019)A pragmatic approach for testing stateless and stateful Web Service Robustness., и . Stud. Inform. Univ., 10 (2): 139-179 (2012)Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols., , , и . IICS, том P-165 из LNI, стр. 409-421. GI, (2010)Robustness Testing on Composed Timed Systems., , и . SEDE, стр. 161-167. ISCA, (2009)Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts., , и . ICTSS, том 11812 из Lecture Notes in Computer Science, стр. 104-120. Springer, (2019)