From post

Timed Knowledge-based Modelling and Analysis: On the Dependability of Socio-technical Systems

, , и . International Conference on Human Aspects of Advanced Manufacturing: Agility & Hybrid Automation, стр. 321--328. (мая 2003)

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.

 

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

Timed Knowledge-based Modelling and Analysis: On the Dependability of Socio-technical Systems, , и . International Conference on Human Aspects of Advanced Manufacturing: Agility & Hybrid Automation, стр. 321--328. (мая 2003)Heterogeneous Modelling of Evolution for Socio-technical Systems, и . International Conference on Dependable Systems and Networks, Workshop on Interdisciplinary approaches to achieving and analysing system dependability, стр. 210--215. Florence, Italy, (июня 2004)Safety, reliability and security of industrial computer systems., и . Reliab. Eng. Syst. Saf., 89 (1): 1-5 (2005)A case study in innovative process improvement: code synthesis from formal specifications., , , и . Microprocess. Microsystems, 23 (7): 417-424 (1999)On a time enriched OCL liveness template., и . Int. J. Softw. Tools Technol. Transf., 8 (2): 156-166 (2006)Problems of data mobility and reuse in the provision of computer-based training for screening mammography., , , , , , и . CHI, стр. 909-918. ACM, (2012)The Formalization and Analysis of a Communications Protocol., и . Formal Aspects Comput., 6 (1): 92-112 (1994)A Framework for Modelling Trojans and Computer Virus Infection., , и . Comput. J., 41 (7): 444-458 (1998)Euphonia: Reflecting on the Design of an AI-Powered Voice-Controlled Narrative Game., , , , и . CHI PLAY (Companion), стр. 204-208. ACM, (2020)OfGAN: Realistic Rendition of Synthetic Colonoscopy Videos., , , , , , и . MICCAI (3), том 12263 из Lecture Notes in Computer Science, стр. 732-741. Springer, (2020)