Tuesday, August 2, 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