( en | de | ru )

 

Disambiguierung von "Anderson, Hugh"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
UTP and Temporal Logic Model Checking.

, , und . UTP, Volume 5713 von Lecture Notes in Computer Science, Seite 22-41. Springer, (2008)

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.

David Allen Hughes

Jula Hughes

Hugh Skyhawk

Hugh Cardon

Hugh MacCauley

 

Weitere Publikationen von Autoren mit dem selben Namen

MANA: Designing and Validating a User-Centered Mobility Analysis System., , , , , , , und . ASSETS, Seite 321-332. ACM, (2018)Abstract Interpretation with a Theorem Prover.. ICFEM, Volume 2495 von Lecture Notes in Computer Science, Seite 411-422. Springer, (2002)A Tool for Calculating Exponential Run-Time Properties., , und . SYNASC, Seite 25-32. IEEE Computer Society, (2007)Reducing the Power Consumption of an IMU-Based Gait Measurement System., , und . PCM, Volume 7674 von Lecture Notes in Computer Science, Seite 105-116. Springer, (2012)Formalization and 'Literate' Programming.. APSEC, Seite 39-44. IEEE Computer Society, (2001)Affine-Based Size-Change Termination., und . APLAS, Volume 2895 von Lecture Notes in Computer Science, Seite 122-140. Springer, (2003)Markov Abstractions for Probabilistic Pi-Calculus., und . ECEASST, (2009)UTP and Temporal Logic Model Checking., , und . UTP, Volume 5713 von Lecture Notes in Computer Science, Seite 22-41. Springer, (2008)Application of information technology: Integrating Incident Reporting into an Electronic Patient Record System., , , , , und . J. Am. Medical Informatics Assoc., 14 (2): 175-181 (2007)Regular approximation and bounded domains for size-change termination., und . PEPM, Seite 53-62. ACM, (2010)