NASA Logo, National Aeronautics and Space Administration

+NASA Home

+Ames Home

Workshop on Formal Aspects of Component Software
+ Home + Organization + News + Research Areas + Publications + Software Mgmt. Office + Internal Systems Help
Intelligent Systems Division Banner

Workshop on Formal Aspects of Component Software

Intelligent Systems researcher Dr. Corina Pasareanu, together with Professor Carlos Canal from University of Malaga, co-chaired the 5th International Workshop on Formal Aspects of Component Software, held on September 10–12, in Malaga, Spain. The workshop featured 13 presentations of regular papers, 4 tool demonstrations, and invited talks by Professor Jeff Magee, from Imperial College, London, UK, and Professor Ralf Reussner, from Karlsruhe University, Karlsruhe, Germany.

NASA PROGRAM FUNDING: Exploration Technology Development Program, Intelligent Software Design Project

Contact: Corina Pasareanu

10/17/2008

First Gov logo
NASA Logo - nasa.gov