( en | de | ru )

 

Disambiguierung von "Harrison, Michael D."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Representational Reasoning and Verification.

, , und . Formal Aspects Comput., 12 (4): 260-277 (2000)

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.

Dave Harrison

David Harrison

Elizabeth Harrison

Harrison Kia

Alan Harrison

 

Weitere Publikationen von Autoren mit dem selben Namen

THEA: A Technique for Human Error Assessment Early in Design., , , und . INTERACT, Seite 247-254. IOS Press, (2001)Case-based Reasoning Systems for Knowledge Mediation., , und . INTERACT, Seite 425-433. IOS Press, (1999)Modelling Interaction Properties for Interactive Case Memories., und . DSV-IS, Seite 301-316. Springer, (1994)User Centred System Modelling using the Template Model., und . DSV-IS, Seite 401-412. Springer, (1994)Objectives, strategies and resources as design drivers., , und . INTERACT, Volume 96 von IFIP Conference Proceedings, Seite 164-171. Chapman & Hall, (1997)Formal Verification of Safety-Critical User Interfaces: a space system case study., , , und . AAAI Spring Symposia, AAAI Press, (2014)Interaction and Task Requirements., und . DSV-IS, Seite 54-75. Springer, (1995)A representational approach to the specification of presentations., und . DSV-IS, Seite 273-290. Springer, (1997)Integrating Joint Behaviour and Dialogue Description., und . DSV-IS, Seite 293-308. Springer, (1998)From Formal Models to Formal Methods., und . ICSE Workshop on SE-HCI, Volume 896 von Lecture Notes in Computer Science, Seite 159-173. Springer, (1994)