Search results

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

• Rodin Workshop 2010
  ...and Solving Constraint Satisfaction Problems in B''], Michael Leuschel and Daniel Plagge
  5 KB (716 words) - 09:28, 22 November 2010
• D23 ProB
  ...ication_detail.php?id=248 Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge. Automated Property Verification for Large Scale B Models, FM'2009.] ...uschel/publication_detail.php?id=256 Stefan Hallerstede, Michael Leuschel, Daniel Plagge. Refinement-Animation for Event-B --- Towards a Method of Validation
  17 KB (2,580 words) - 15:55, 28 January 2010
• Rodin Workshop 2014
  | || || Daniel Plagge, Michael Leuschel
  8 KB (1,073 words) - 06:13, 24 June 2014
• D32 Model-based testing
  University of Duesseldorf (Michael Leuschel, Daniel Plagge, Jens Bendisposto) started developing first tool support for MBT for
  8 KB (1,215 words) - 15:14, 27 January 2011