Travelled to:
1 × USA
Collaborated with:
C.Capellmann R.Demant F.Fatahi-Vanani 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: Rafael Galvez-Estrada
DBLP: Galvez-Estrada:Rafael
Contributed to:
Wrote 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.