Author of the publication

Smart Automotive Technology Adherence to the Law: (De)Constructing Road Rules for Autonomous System Development, Verification and Safety.

, , , , , and . CoRR, (2021)

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

Quantitative Analysis of Faults and Failures in a Complex Software System., and . IEEE Trans. Software Eng., 26 (8): 797-814 (2000)Software Complexity: Measures and Methods, by Horst Zuse, Published by Walter de Gruyter, 1990 (Book Review).. Softw. Test. Verification Reliab., 1 (3): 41-42 (1991)Effects of structure on the comprehensivility of formal specifications., , and . IEE Proc. Softw., 146 (4): 193-202 (1999)Modelling competing legal arguments using Bayesian model comparison and averaging., , , and . Artif. Intell. Law, 27 (4): 403-430 (2019)Legal idioms: a framework for evidential reasoning., , and . Argument Comput., 4 (1): 46-63 (2013)A hybrid Bayesian network for medical device risk assessment and management., , and . Reliab. Eng. Syst. Saf., (January 2024)Program Structures: Some New Characterisations., and . J. Comput. Syst. Sci., 43 (3): 467-483 (1991)A Generalised Mathematical Theory of Structured Programming., , and . Theor. Comput. Sci., (1985)Probabilistic Modelling for Software Quality Control., , and . ECSQARU, volume 2143 of Lecture Notes in Computer Science, page 444-453. Springer, (2001)Session 2 Summary: Objectives and Context of Measurement or Experimentation.. Experimental Software Engineering Issues, volume 706 of Lecture Notes in Computer Science, page 82-86. Springer, (1992)