Search results

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

• D32 Model-based testing
  University of Duesseldorf (Michael Leuschel, Daniel Plagge, Jens Bendisposto) started developing first tool support for MBT for Event-B in 2
  8 KB (1,215 words) - 15:14, 27 January 2011
• D32 Model Animation
  ...s thesis. University of Düsseldorf. 2010</ref> and <ref>Lukas Ladenberger, Jens Bendisposto, Michael Leuschel, Visualising Event-B models with B-Motion Stu
  16 KB (2,553 words) - 15:12, 27 January 2011

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