Search results

Create the page "Colin" on this wiki! See also the search results found.

• ADVANCE Deliverable D3.3
  :* UML-B Improvements (Colin Snook, Vitaly Savicks)
  6 KB (830 words) - 13:21, 7 October 2013
• User:Tommy/Collections/ADVANCE Delivrable D3.2
  :* UML-B Improvements (Colin Snook, Vitaly Savicks)
  6 KB (894 words) - 09:47, 5 June 2012
• DEPLOY Plenary Workshop 2009
  *Colin Snook. First Models of a Safe System
  7 KB (1,003 words) - 20:08, 12 October 2009
• Event-B Examples
  By Mar Yah Said, Michael Butler and Colin Snook.
  9 KB (1,283 words) - 13:58, 5 July 2017
• Rodin Platform 3.5 Release Notes
  * Colin Snook (University of Southampton) and Michael Leuschel (University of Dusse
  8 KB (1,249 words) - 13:09, 11 September 2020

View (previous 500 | next 500) (20 | 50 | 100 | 250 | 500)