Back to Search
Start Over
GTSMorpher: Safely Composing Behavioural Analyses Using Structured Operational Semantics
- Source :
- Composing Model-Based Analysis Tools ISBN: 9783030819149
- Publication Year :
- 2021
- Publisher :
- Springer International Publishing, 2021.
Details
- ISBN :
- 978-3-030-81914-9
- ISBNs :
- 9783030819149
- Database :
- OpenAIRE
- Journal :
- Composing Model-Based Analysis Tools ISBN: 9783030819149
- Accession number :
- edsair.doi...........97ef15dea1ddc826529360396011e398