Abstract
This chapter introduces the key challenges in composing model-based analysis tools, giving references to book chapters discussing each challenge in more detail.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Robert Heinrich, Francisco Durán, Carolyn L. Talcott, and Steffen Zschaler (eds.) Composing Model-Based Analysis Tools. Springer, 2021. https://doi.org/10.1007/978-3-030-81915-6.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Durán, F., Heinrich, R., Talcott, C., Zschaler, S. (2021). Overview of Challenges in Composing Model-Based Analysis Tools. In: Heinrich, R., Durán, F., Talcott, C., Zschaler, S. (eds) Composing Model-Based Analysis Tools. Springer, Cham. https://doi.org/10.1007/978-3-030-81915-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-030-81915-6_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-81914-9
Online ISBN: 978-3-030-81915-6
eBook Packages: Computer ScienceComputer Science (R0)