( en | de | ru )

 

Disambiguierung von "Davies, Jim"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using Z - specification, refinement, and proof.

, und . Prentice Hall international series in computer science Prentice Hall, (1996)

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.

Jim Davies

Andrew Davies

Jim Wilenius

jim halo

Sergio Davies

 

Weitere Publikationen von Autoren mit dem selben Namen

Using Z - specification, refinement, and proof., und . Prentice Hall international series in computer science Prentice Hall, (1996)Concurrency and Refinement in the Unified Modeling Language, und . Electronic Notes in Theoretical Computer Science, 70 (3): 577--603 (November 2002)Concurrency and Refinement in the Unified Modeling Language, und . Formal Aspects of Computing, V15 (2): 118--145 (November 2003)The ALIGNED Project – Aligned, Quality-centric Software and Data Engineering Driven by Semantics, , , , , , , , , und . Project Networking Session at ESWC 2016 THE SEMANTIC WEB. LATEST ADVANCES AND NEW DOMAINS, Volume 9678 von LNCS, Springer, (2016)Software Project Management for Combined Software and Data Engineering, , , und . Seite 367--385. Springer International Publishing, Cham, (2017)Towards a denotational semantics for ET-LOTOS., , und . CONCUR, Volume 962 von Lecture Notes in Computer Science, Seite 269-283. Springer, (1995)Investigating an Ontology-Informed Approach to Event Log Generation in Healthcare., , , und . ICPM Workshops, Volume 503 von Lecture Notes in Business Information Processing, Seite 235-246. Springer, (2023)Using semantic similarity to predict angle and distance of objects in images., , , und . Creativity & Cognition, Seite 217-222. ACM, (2011)Real-time LOTOS and Timed Observations., , und . FORTE, Volume 43 von IFIP Conference Proceedings, Seite 383-397. Chapman & Hall, (1995)Specification and proof in real-time CSP.. Distinguished dissertations in computer science Cambridge University Press, (1993)