Dan Slipper

According to our database, Dan Slipper authored at least 2 papers between 2011 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

Towards Tool Support for Design and Safety Analysis of High Consequence Arming Systems Using Matlab.

Dan Slipper, Wilson Ifill, Gordon Hunter, Roger Green, Richard Johnson, Alistair A. McEwan

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2012

2011

A Systems Re-engineering Case Study: Programming Robots with occam and Handel-C.

Dan Slipper, Alistair A. McEwan

Proceedings of the 33th Communicating Process Architectures Conference, 2011