共 50 条
- [11] Emotions modelling for safe behaviour generation in robotic systems SAFETY AND RELIABILITY FOR MANAGING RISK, VOLS 1-3, 2006, : 93 - 99
- [13] Modelling and verification of parameterized architectures: A functional approach IET COMPUTERS AND DIGITAL TECHNIQUES, 2021, 15 (05): : 335 - 348
- [15] Modelling the behaviour of Web applications with ArgoUWE WEB ENGINEERING, PROCEEDINGS, 2005, 3579 : 624 - 626
- [19] Teaching Functional Patterns through Robotic Applications ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (230): : 17 - 29
- [20] Modelling and verification of IEC 61499 applications using Prolog 2006 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION, VOLS 1 -3, 2006, : 764 - +