Lowering the Threshold to Use Formal Methods in Composed Systems (participation in panel)
Category
Academic lecture
Language
English
Author(s)
- Ketil Stølen
Affiliation
- SINTEF Digital / Sustainable Communication Technologies
Presented at
8th International Symposium on Formal Aspects of Component Software (FACS'11)
Place
Oslo, Norway
Date
14.09.2011 - 16.09.2011