Verification by behaviour abstraction. A case study of service interaction detection in intelligent telephone networks

Cappellmann, C.C.CappellmannDemant, R.R.DemantGalvez-Estrada, R.R.Galvez-EstradaFatahi-Vanani, F.F.Fatahi-VananiNitsche, U.U.NitscheOchsenschläger, P.P.Ochsenschläger2022-03-092022-03-091996https://publica.fraunhofer.de/handle/publica/327610enformal model005004400Verification by behaviour abstraction. A case study of service interaction detection in intelligent telephone networksconference paper