The PPT is a copy of the Budapest RTES Forum Agenda 23-25 October 2007
Download 3 ZIP Files one for each day. 23 October 07, Tuesday -- Dependability through Assuredness 24 October 07, Wednesday -- Dependability through Assuredness 25 October 07, Thursday -- Multiple Independent Levels of Security
Additional information contact Joseph Bergmann -- j.bergmann@opengroup.org or telephone +1 610-506-1455
Next meeting in San Francisco 28 January -1 February 2008 The RTES Forum Agenda will cover -- -- Formal Methods R&D -- Dependability through Assuredness with a focus on Formal Methods & Tools -- Architecting to The Edge and The Application of AADL -- Cross Domain Security Solutions with Emphasis on the MILS Approach
