Travelled to:1 × Italy
Collaborated with:∅
Talks about:analysi (1) combin (1) model (1) fault (1) check (1) tree (1) time (1) real (1)
Person: Andreas Schäfer
DBLP: Sch=auml=fer:Andreas
Contributed to:
2003Wrote 1 papers:
- FME-2003-Schafer #analysis #fault #model checking #realtime
- Combining Real-Time Model-Checking and Fault Tree Analysis (AS), pp. 522–541.