Composing Model-Based Analysis Tools

Composing Model-Based Analysis Tools This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering. Wydawnictwo: Springer Rok wydania: 2021 Okładka: twarda Liczba stron: 307 Wymiary: 23.5 x 15.5 cm Ilustracje: 46 Illustrations, color; 34 Illustrations, black and white Język: angielski ISBN: 9783030819149