Search results

From Event-B
Jump to navigationJump to search
  • [[User:Jastram|Michael]] at [[Düsseldorf]] is in charge of the [[:Category:Requirement Pl
    6 KB (915 words) - 16:57, 27 February 2014
  • :* ProR (Michael Jastram/Lukas Ladenberger)
    6 KB (894 words) - 09:47, 5 June 2012
  • * Michael Jastram - Heinrich-Heine-Universität Düsseldorf, Germany
    7 KB (1,003 words) - 20:08, 12 October 2009
  • ...ration plugin is developed and maintained by Lukas Ladenberger and Michael Jastram at the University of Duesseldorf. ProR is a tool for working with requireme
    16 KB (2,554 words) - 14:05, 8 October 2013
  • ...ration plugin is developed and maintained by Lukas Ladenberger and Michael Jastram at the University of Duesseldorf. ProR is a tool for working with requireme
    20 KB (3,030 words) - 13:18, 18 July 2012
  • ...five committers in total, with two from the Rodin project, namely Michael Jastram (Project Lead) and Lukas Ladenberger.
    35 KB (5,228 words) - 10:12, 23 April 2012

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