Lowering the Threshold to Use Formal Methods in Composed Systems (participation in panel)
Kategori
Vitenskapelig foredrag
Språk
Engelsk
Forfatter(e)
- Ketil Stølen
Institusjon(er)
- SINTEF Digital / Sustainable Communication Technologies
Presentert på
8th International Symposium on Formal Aspects of Component Software (FACS'11)
Sted
Oslo, Norway
Dato
14.09.2011 - 16.09.2011