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.

 

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

Tool-Supported Verification of Contingency Software Design in Evolving, Autonomous Systems., , и . ISSRE, стр. 213-220. IEEE Computer Society, (2006)Using Fault Modeling in Safety Cases., и . ISSRE, стр. 271-276. IEEE Computer Society, (2008)Identifying Contingency Requirements Using Obstacle Analysis., , , , и . RE, стр. 263-272. IEEE Computer Society, (2005)Dynamic Multiple-Fault Diagnosis With Imperfect Tests., , , , , и . IEEE Trans. Syst. Man Cybern. Part A, 39 (6): 1224-1236 (2009)Optimal sensor allocation for fault detection and isolation., , и . SMC (2), стр. 1309-1314. IEEE, (2004)On a multimode test sequencing problem., , , и . IEEE Trans. Syst. Man Cybern. Part B, 34 (3): 1490-1499 (2004)Using model-based assurance to strengthen diagnostic procedures., , и . ASE, стр. 516-519. IEEE Computer Society, (2011)Verification and validation of high integrity software generated by automatic code generators., , , , и . SMC, стр. 3004-3009. IEEE, (1998)A Comprehensive Diagnosis Methodology for Complex Hybrid Systems: A Case Study on Spacecraft Power Distribution Systems., , , , , и . IEEE Trans. Syst. Man Cybern. Part A, 40 (5): 917-931 (2010)