Travelled to:
1 × Australia
1 × China
Collaborated with:
∅
Talks about:
architect (1) support (1) generat (1) develop (1) system (1) specif (1) formal (1) tool (1) time (1) test (1)
Person: Richard O. Sinnott
DBLP: Sinnott:Richard_O=
Contributed to:
Wrote 2 papers:
- SEFM-2004-Sinnott #development #realtime #tool support
- The Formal, Tool Supported Development of Real Time Systems (ROS), pp. 388–395.
- SEFM-2003-Sinnott #architecture #generative #specification #testing
- Architecting Specifications for Test Case Generation (ROS), p. 24–?.