( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Machine-Learned Verification and Advance Notice Oracles for Autonomous Systems.

, , и . Computer, 56 (7): 121-130 (2023)

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.

Michael James

Audrein James

Katherine James

Bret Boyce

Bret Swan

 

Другие публикации лиц с тем же именем

Verification and Validation for Trustworthy Software Systems., , , и . IEEE Software, 28 (6): 86-92 (2011)Independent validation of software safety requirements for systems of systems., , , и . SoSE, стр. 1-6. IEEE, (2010)Hazard Analysis and Validation Metrics Framework for System of Systems Software Safety., , , и . IEEE Syst. J., 4 (2): 186-197 (2010)Integrating Legal and Policy Factors in Cyberpreparedness., , , , и . Computer, 43 (4): 90-92 (2010)Security of runtime extensible virtual environments., , , , и . CVE, стр. 97-104. ACM, (2002)A New Paradigm for Requirements Specification and Analysis of System-of-Systems., и . RISSEF, том 2941 из Lecture Notes in Computer Science, стр. 108-121. Springer, (2002)Formal methods in a system-of-systems development., и . SMC, стр. 1856-1863. IEEE, (2005)Environment behavior models for automation of testing and assessment of system safety., , и . Inf. Softw. Technol., 48 (10): 971-980 (2006)An ontology-based distributed whiteboard to determine legal responses to online cyber attacks., , , и . Internet Res., 16 (5): 475-490 (2006)Developing and Deploying Artificial Intelligence Systems., и . Computer, 55 (6): 15-17 (2022)