( en | de | ru )

 

Disambiguation of "Ammann, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Trusted Recovery.

, , and . Commun. ACM, 42 (7): 71-75 (1999)

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.

Paul Beat Ammann

Dieter Ammann

Franz Ammann

Ernst Ammann

Constantin Ammann

 

Other publications of authors with the same name

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