Travelled to:1 × Italy
1 × United Kingdom
Collaborated with:H.Wehrheim E.Olderog
Talks about:csp (2) structur (1) diagram (1) specif (1) model (1) check (1) view (1) uml (1) fdr (1)
Person: Clemens Fischer
DBLP: Fischer:Clemens
Contributed to:
2001
1999Wrote 2 papers:
- FASE-2001-FischerOW #csp #diagrams #uml
- A CSP View on UML-RT Structure Diagrams (CF, ERO, HW), pp. 91–108.
- IFM-1999-FischerW #model checking #specification
- Model-Checking CSP-OZ Specifications with FDR (CF, HW), pp. 315–334.