Export 2 results:
Search results for 10338
Filters: 1 is biblio_type:Technical reports and Author is Jim Woodcock  [Reset Search]
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)