Travelled to:1 × France
1 × USA
Collaborated with:∅ F.A.Kraemer P.Herrmann
Talks about:system (2) exemplifi (1) distribut (1) industri (1) reliabl (1) generat (1) automat (1) verifi (1) toward (1) specif (1)
Person: Vidar Slåtten
DBLP: Sl=aring=tten:Vidar
Contributed to:
2011
2010Wrote 2 papers:
- GPCE-2011-SlattenKH #automation #case study #distributed #generative #industrial #reliability #specification #towards #validation #verification
- Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study (VS, FAK, PH), pp. 147–156.
- ICST-2010-Slatten #modelling
- Model-Driven Engineering of Dependable Systems (VS), pp. 359–362.