Author of the publication

Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites.

, , , , and . Quality and Reliability Eng. Int., 32 (2): 345-361 (2016)

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.

 

Other publications of authors with the same name

Introducing a forensics data type taxonomy of acquirable artefacts from programmable logic controllers., , , and . Cyber Security, page 1-8. IEEE, (2020)Student perceptions of the acceptability of various code-writing practices., , , , and . ITiCSE, page 105-110. ACM, (2014)IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development., , , , and . INTERACT (4), volume 9299 of Lecture Notes in Computer Science, page 663-664. Springer, (2015)A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996-2006)., and . SSS, page 85-104. Springer, (2007)Documenting the Design of Safety-Critical, User Interfaces.. Interact. Comput., 8 (3): 221-239 (1996)Subjectivity and Notions of Time and Value in Interactive Information Retrieval., and . Interact. Comput., 10 (1): 67-75 (1998)Why human error modeling has failed to help systems development.. Interact. Comput., 11 (5): 517-524 (1999)The Application of Petri Nets to Represent and Reason about Human Factors Problems during Accident Analyses.. DSV-IS, page 93-112. Springer, (1995)eScience curricula at two Australian universities., , , and . ACE, volume 42 of CRPIT, page 211-216. Australian Computer Society, (2005)Maintaining Materialized Views for Data Warehouses with Multiple Remote Sources., , and . Web-Age Information Management, volume 1846 of Lecture Notes in Computer Science, page 299-310. Springer, (2000)