Tuesday, March 1, 2011

FMCO 2010 - Software Technologies Concertation on Formal Methods for Components and Objects

November 29, 2010 at 9pm to November 1, 2011 at 7pm – Graz Austria Large and complex software systems provide the necessary infrastucture in all industries today. In order to construct such large systems in a systematic manner, the focus in the development methodolo… Organized by Bernhard K. Aichernig, (IST, Graz University of Technology, Austria ) | Type: symposia
MADES 5th Pleanary Meeting

March 1, 2011 at 9am to March 2, 2011 at 6pm – Paris MADES Pleanary Meeting & Workshop on MADES Case Studies verification modeling Organized by Alessandra Bagnato | Type: mades, pleanary, meeting