Abschlußbericht des GMD-/Telekom-Projekts "Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik"- SERVINT

Demant, R.R.DemantFatahi, F.F.FatahiGalvez-Estrada, R.R.Galvez-EstradaNitsche, U.U.NitscheOchsenschläger, P.P.Ochsenschläger2022-03-072022-03-071995https://publica.fraunhofer.de/handle/publica/288383de004Abschlußbericht des GMD-/Telekom-Projekts "Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik"- SERVINTreport