( en | de | ru )

 

Disambiguation of "Michael, James Bret"

Author of the publication

copydeleteadd this publication to your clipboard
Machine-Learned Specifications for the Verification and Validation of Autonomous Cyberphysical Systems.

, , and . ISSRE Workshops, page 333-341. IEEE, (2022)

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.

Michael James

Audrein James

Katherine James

Bret Boyce

Bret Swan

 

Other publications of authors with the same name

Environment behavior models for automation of testing and assessment of system safety., , and . Inf. Softw. Technol., 48 (10): 971-980 (2006)Formal methods in a system-of-systems development., and . SMC, page 1856-1863. IEEE, (2005)An ontology-based distributed whiteboard to determine legal responses to online cyber attacks., , , and . Internet Res., 16 (5): 475-490 (2006)Independent validation of software safety requirements for systems of systems., , , and . SoSE, page 1-6. IEEE, (2010)Verification and Validation for Trustworthy Software Systems., , , and . IEEE Software, 28 (6): 86-92 (2011)Integrating Legal and Policy Factors in Cyberpreparedness., , , , and . Computer, 43 (4): 90-92 (2010)Hazard Analysis and Validation Metrics Framework for System of Systems Software Safety., , , and . IEEE Syst. J., 4 (2): 186-197 (2010)Modeling Human-in-the-Loop Security Analysis and Decision-Making Processes., , , and . IEEE Trans. Software Eng., 40 (2): 154-166 (2014)A New Paradigm for Requirements Specification and Analysis of System-of-Systems., and . RISSEF, volume 2941 of Lecture Notes in Computer Science, page 108-121. Springer, (2002)Approaches for Measuring Software Project Management Effectiveness., , and . Software Engineering Research and Practice, page 613-619. CSREA Press, (2009)