Author of the publication

Functional path analysis: an approach to software verification.

, and . ACM Conference on Computer Science, page 266-272. ACM, (1988)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Standard representations of diagnostic models., and . SMC, page 3032-3037. IEEE, (1998)Extending CryptDB to Operate an ERP System on Encrypted Data., and . ICEIS (1), page 103-110. SciTePress, (2018)An Intelligent Approach to Automatic Test Equipment., and . ITC, page 419-425. IEEE Computer Society, (1991)Enterprise Security with Endpoint Agents., and . ICEIS (Revised Selected Papers), volume 378 of Lecture Notes in Business Information Processing, page 1-16. Springer, (2019)System Perspective on Diagnostic Testing., and . ITC, page 547. IEEE Computer Society, (1992)Ethics, Professionalism and Accountability in Testing.. ITC, page 1034. IEEE Computer Society, (1997)Secure Server Key Management Designs for the Public Cloud., and . MLIS, volume 332 of Frontiers in Artificial Intelligence and Applications, page 248-253. IOS Press, (2020)Cutting the Cost of Test; the Value-added Way.. ITC, page 921. IEEE Computer Society, (1995)An authentication model for delegation, attribution and least privilege., , and . PETRA, ACM, (2010)A Multi-tiered Approach to Enterprise Support Services., and . HCI (9), volume 6769 of Lecture Notes in Computer Science, page 388-397. Springer, (2011)