imprint:
[Erscheinungsort nicht ermittelbar]: KIT Scientific Publishing, 2018
Published in:The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
Extent:
1 Online-Ressource (XIII, 162 p.)
Language:
English
ISBN:
9783731504726
Identifier:
Origination:
Footnote:
English
Description:
This work developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical. The developed approach extends and combines theoretical sound approaches in a novel manner to systematically reduce the overhead of reliability assessment