Travelled to:1 × United Kingdom
Collaborated with:∅
Talks about:concurr (1) system (1) specif (1) verif (1) slice (1) time (1) real (1)
Person: Ingo Brückner
DBLP: Br=uuml=ckner:Ingo
Contributed to:
2007Wrote 1 papers:
- IFM-2007-Bruckner #concurrent #realtime #slicing #specification #verification
- Slicing Concurrent Real-Time System Specifications for Verification (IB), pp. 54–74.