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.

 

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

Applying Data Redundancy to Differential Equation Solvers., , и . Ann. Softw. Eng., (1997)Generating test data from state-based specifications., , , и . Softw. Test. Verification Reliab., 13 (1): 25-53 (2003)Reconciling perspectives of software logic testing., , и . Softw. Test. Verification Reliab., 18 (3): 149-188 (2008)Introduction to Software Testing, и . Cambridge University Press, Cambridge, (2016)Applying Formal Methods to Semantic-Based Decomposition of Transactions., , и . ACM Trans. Database Syst., 22 (2): 215-254 (1997)A Timestamp Ordering Algorithm for Secure, Single-Version, Multi-Level Databases., и . DBSec, том A-6 из IFIP Transactions, стр. 191-202. North-Holland, (1991)Planar Lattice Security Structures for Multilevel Replicated Databases., и . DBSec, том A-47 из IFIP Transactions, стр. 125-134. North-Holland, (1993)Semantics-based transaction processing: satisfying conflicting objectives., и . IEEE Concurrency, 5 (2): 8-10 (1997)Teaching a Testing Concept (JUnit) with Active Learning., и . ICST Workshops, стр. 411. IEEE, (2020)Issues Influencing the Use of N-Version Programming., и . IFIP Congress, стр. 217-222. North-Holland/IFIP, (1989)