Export 2 results:
Filters: Author is Jim Woodcock  [Clear All Filters]
2022
T. Yue, S. Ali, P. Arcaini, F. Ishikawa and C. Â. G. Gomes. Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems In 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Edited by J. Fitzgerald, T. Margaria, P. G. Larsen and J. Woodcock. LNCS, 2022.
2021
A. Gotlieb, D. Marijan and H. Spieker. "Testing Industrial Robotic Systems: A New Battlefield!" In Software Engineering for Robotics, edited by A. Cavalcanti, B. Dongol, R. Hierons, J. Timmis and J. Woodcock, 109-137. Cham: Springer Nature, 2021.PDF icon bookchapter.pdf (7.97 MB)