Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf ReussnerVerlag: [Erscheinungsort nicht ermittelbar] : KIT Scientific Publishing, 2018Beschreibung: 1 Online-Ressource (XIII, 162 p.)ISBN:- 9783731504726
Dieser Titel hat keine Exemplare
Open Access. Unrestricted online access star
Creative Commons https://creativecommons.org/licenses/by-sa/4.0 cc
English