Guide to advanced software testing von Hass, Anne Mette Jonassen

DE-1046
DE-1047
Volltext

Concurrency verification introduction to compositional and noncompositional methods

Guidance for the verification and validation of neural networks von Pullum, Laura L.

DE-861
DE-473
DE-573
DE-92
URL des Erstveröffentlichers

Guidance for the verification and validation of neural networks von Pullum, Laura L., Taylor, Brian J., Darrah, Majorie A.

Inhaltsverzeichnis

Co-verification of hardware and software for ARM SoC design von Andrews, Jason R.

Volltext

Co-verification of hardware and software for ARM SoC design von Andrews, Jason R.

DE-860
URL des Erstveröffentlichers