Composing Model-Based Analysis Tools

Format:

e-book

Title:

Composing Model-Based Analysis Tools

Author:

Robert Heinrich; Durán, Francisco; Talcott, Carolyn; Zschaler, Steffen

Language:

English

Publisher:

Springer International Publishing 2021

ISBN:

3-030-81914-0
3-030-81915-9

Permalink:

http://bibtest.howest.be/catalog/ebk03:5100000000152506?locale=en