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.

 

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

Automated generation of monitors for pattern contracts., , и . SAC, стр. 1779-1784. ACM, (2006)Formal Methods Adoption in Industry: An Experience Report.. ICTAC Summmer School, том 13490 из Lecture Notes in Computer Science, стр. 152-161. Springer, (2021)Testing Framework Components., и . CBSE, том 3054 из Lecture Notes in Computer Science, стр. 138-145. Springer, (2004)Specification-Based Incremental Testing of Object Oriented Systems., и . TOOLS (39), стр. 35-45. IEEE Computer Society, (2001)Testing Polymorphic Behavior., и . J. Object Technol., 1 (3): 173-188 (2002)Renewable Energy Management Using Action Dependent Heuristic Dynamic Programming., и . ISC2, стр. 1-5. IEEE, (2018)Amplifying the Benefits of Design Patterns: From Specification Through Implementation., , и . FASE, том 3922 из Lecture Notes in Computer Science, стр. 214-229. Springer, (2006)Automatic Monitoring of Control-flow Through Inheritance Hierarchies., и . SEKE, стр. 355-358. (2006)A Comparison of Flipped Programming Classroom Models - Results by Gender and Major., и . FIE, стр. 1-5. IEEE, (2018)Black-Box Testing of Grey-Box Behavior., и . FATES, том 2931 из Lecture Notes in Computer Science, стр. 1-14. Springer, (2003)