NASA Logo, National Aeronautics and Space Administration
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

+NASA Home

+Ames Home

Workshop on Formal Aspects of Component Software
+ Home + Organization + News + Research Areas + Publications + Software + Internal Systems Help
First Gov logo
NASA Logo - nasa.gov