Configuration of inter-process communication with...

International Journal on Software Tools for Technology Transfer (STTT) 2019 / 10

Configuration of inter-process communication with probabilistic model checking

Herrmann, Linda, Küttler, Martin, Stumpf, Tobias, Baier, Christel, Härtig, Hermann, Klüppelholz, Sascha
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Langue:
english
Journal:
International Journal on Software Tools for Technology Transfer
DOI:
10.1007/s10009-019-00536-0
Date:
October, 2019
Fichier:
PDF, 779 KB
english, 2019
La conversion en est effectuée
La conversion en a échoué