( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems.

, , , , , , , , , , , , , , и . QUATIC, том 1439 из Communications in Computer and Information Science, стр. 325-340. Springer, (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.

José Aleixo Sousa Proença

Humberto Jorge José

Nadine José Gonzalez

José Navarrete

José Putharikal

 

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

Towards a Theory of Views for Feature Models., и . SPLC Workshops, стр. 91-98. Lancaster University, (2010)A Refinement Relation for Families of Timed Automata., , и . SBMF, том 10623 из Lecture Notes in Computer Science, стр. 161-178. Springer, (2017)Taming Hierarchical Connectors., и . FSEN, том 11761 из Lecture Notes in Computer Science, стр. 186-193. Springer, (2019)Typed Connector Families., и . FACS, том 9539 из Lecture Notes in Computer Science, стр. 294-311. Springer, (2015)Executable modelling of dynamic software product lines in the ABS language., , и . FOSD, стр. 17-24. ACM, (2013)Overview on Constrained Multiparty Synchronisation in Team Automata.. FACS, том 14485 из Lecture Notes in Computer Science, стр. 194-205. Springer, (2023)Team Automata: Overview and Roadmap., , и . COORDINATION, том 14676 из Lecture Notes in Computer Science, стр. 161-198. Springer, (2024)Feature Petri Nets., , и . SPLC Workshops, стр. 99-106. Lancaster University, (2010)The VALU3S ECSEL project: Verification and validation of automated systems safety and security., , , , , , , , , и 9 other автор(ы). Microprocess. Microsystems, (ноября 2021)Branching Pomsets for Choreographies., , , и . ICE, том 365 из EPTCS, стр. 37-52. (2022)