Presentation at the Laboratory for Reliable Software (LaRS), Jet Propulsion Laboratory, California Institute of Technology

  • Andreas Classen (Speaker)

Activity: Participating in or organising an event types › Participation in workshop, seminar, course

Description

Visiting the group of Gerard J. Holzmann, presenting my research on the modelling and verification of software product lines.
Period31 May 2011
Event typeSeminar
LocationPasadena, California, USAShow on map

Documents & Links