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.

 

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

Knowledge-Based Design., , , и . KBSE, стр. 239-244. IEEE Computer Society, (1991)Combining unit-level symbolic execution and system-level concrete execution for testing NASA software., , , , , , и . ISSTA, стр. 15-26. ACM, (2008)Static analysis for software assurance: soundness, scalability and adaptiveness., и . FoSER, стр. 393-396. ACM, (2010)Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic?. RE, стр. 12-13. IEEE Computer Society, (2001)Legal Issues on Knowledge-Based Software Engineering., и . KBSE, стр. 61-69. IEEE Computer Society, (1995)Towards a Theory for Integration of Mathematical Verification and Empirical Testing., , и . ASE, стр. 322-. IEEE Computer Society, (1998)Key Applications for High-Assurance Systems., , , , , , , , , и 4 other автор(ы). Computer, 31 (4): 35-45 (1998)Deductive Composition of Astronomical Software from Subroutine Libraries., , , , и . CADE, том 814 из Lecture Notes in Computer Science, стр. 341-355. Springer, (1994)The Abstraction/Implementation Model of Problem Reformulation.. IJCAI, стр. 1004-1010. Morgan Kaufmann, (1987)Polyglot: modeling and analysis for multiple Statechart formalisms., , , , и . ISSTA, стр. 45-55. ACM, (2011)