Travelled to:1 × USA
Collaborated with:C.Capellmann R.Demant R.Galvez-Estrada U.Nitsche P.Ochsenschläger
Talks about:behaviour (1) telephon (1) interact (1) intellig (1) abstract (1) network (1) servic (1) detect (1) verif (1) studi (1)
Person: Farhad Fatahi-Vanani
DBLP: Fatahi-Vanani:Farhad
Contributed to:
1996Wrote 1 papers:
- CAV-1996-CapellmannDFGNO #abstraction #behaviour #case study #detection #interactive #network #verification
- Verification by Behaviour Abstraction — A Case Study of Service Interaction Detection in Intelligent Telephone Networks (CC, RD, FFV, RGE, UN, PO), pp. 466–469.