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.

 

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

Semantics-based transaction processing: satisfying conflicting objectives., и . IEEE Concurrency, 5 (2): 8-10 (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)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)Using semantic correctness in multidatabases to achieve local autonomy, distribute coordination, and maintain global integrity., , и . Inf. Sci., 129 (1-4): 155-195 (2000)Industrial Marketing, , и . Schäffer-Poeschel, Stuttgart, (1999)An Experimental Evaluation of Simple Methods for Seeding Program Errors., и . ICSE, стр. 337-342. IEEE Computer Society, (1985)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)