Jim Woodcock

External collaborator

Publications

Simula-affiliated publications listed

T. Yue, S. Ali, P. Arcaini, F. Ishikawa and C. Â. G. Gomes

Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems

11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

A. Gotlieb, D. Marijan and H. Spieker

Testing Industrial Robotic Systems: A New Battlefield!

Software Engineering for Robotics