Travelled to:2 × France
Collaborated with:J.Foederer J.Tretmans F.Aarts F.Heidarian H.Kuppens F.W.Vaandrager
Talks about:counterexampl (1) transform (1) industri (1) automata (1) abstract (1) system (1) refin (1) model (1) learn (1) test (1)
Person: Petur Olsen
DBLP: Olsen:Petur
Contributed to:
2012
2011Wrote 2 papers:
- FM-2012-AartsHKOV #abstraction #automaton #learning #refinement
- Automata Learning through Counterexample Guided Abstraction Refinement (FA, FH, HK, PO, FWV), pp. 10–27.
- ICTSS-2011-OlsenFT #industrial #modelling #testing
- Model-Based Testing of Industrial Transformational Systems (PO, JF, JT), pp. 131–145.