( en | de | ru )

 

Disambiguierung von "Ammann, Paul"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
One-Representative Safety Analysis in the Non-Monotonic Transform Model.

, und . CSFW, Seite 139-149. IEEE Computer Society, (1994)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Paul Beat Ammann

Dieter Ammann

Franz Ammann

Ernst Ammann

Constantin Ammann

 

Weitere Publikationen von Autoren mit dem selben Namen

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