![]() | ![]() |
2008 | ||
---|---|---|
2 | EE | Helen Treharne, Edward Turner, Steve Schneider, Neil Evans: Object Modelling in the SystemB Industrial Project. ABZ 2008: 359 |
1 | EE | Edward Turner, Helen Treharne, Steve Schneider, Neil Evans: Automatic Generation of CSP || B Skeletons from xUML Models. ICTAC 2008: 364-379 |
1 | Neil Evans | [1] [2] |
2 | Steve A. Schneider (Steve Schneider) | [1] [2] |
3 | Helen Treharne | [1] [2] |