Zusicherungen verbessern Testbarkeit von Software Wie man Software durch Prufen von Invarianten zuverlassiger macht
ELEKTRONIK -MUNICH- ; 58 , 17 ; 24-27
2009-01-01
4 pages
Article (Journal)
German
DDC: | 621.3 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Verwendung von Zusicherungen in einem modellbasierten Entwicklungsproze
IuD Bahn | 2002
|Verwendung von Zusicherungen in einem modellbasierten Entwicklungsprozess
Tema Archive | 2002
|Automotive Ethernet: Dienstgüte, Sicherheit und Testbarkeit
Tema Archive | 2013
|Automotive Ethernet: Dienstguete, Sicherheit und Testbarkeit
Automotive engineering | 2013
|Programmiersprachen und Konzepte zur Entwicklung zuverlässiger und sicherer Automotive Software
British Library Conference Proceedings | 2017
|