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
Workshop on Formal Aspects of Component Software
- NASA Official: Dave Korsmeyer
- Curator: ASANI Solutions