Vorstellung des Autors B. Berard:

Bisher veröffentlichte Bücher von B. Berard:

Verifikation von Systemen und Software: Techniken und Werkzeuge zur Modellüberprüfung - Systems and...
Springer Nature
Die Modellprüfung ist ein leistungsfähiger Ansatz...
Verifikation von Systemen und Software: Techniken und Werkzeuge zur Modellüberprüfung - Systems and Software Verification: Model-Checking Techniques and Tools
<<
1
>>