The ASMETA approach to safety assurance of software systems
type: Item
instance of: scholarly article
title: The ASMETA approach to safety assurance of software systems
DOI: 10.1007/978-3-030-76020-5_13
author: Paolo Arcaini
author: Andrea Bombarda
author: Silvia Bonfanti
author: Angelo Gargantini
author: Elvinia Riccobene
author: Patrizia Scandurra
publication date: 2022-03-22T00:00:00Z
Mathematics Subject Classification ID: 68-XX
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7495062
describes a project that uses: AsmetaSMV
describes a project that uses: NuSMV
describes a project that uses: CoMA
describes a project that uses: ASMETA
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-030-76020-5 13
OpenAlex ID: W3170237344
cites work: ASM-based formal design of an adaptivity component for a cloud system
cites work: The ASM refinement method
cites work: Abstract State Machines
cites work: Q4804909
cites work: Q4413684
cites work: Evolving Algebras 1993: Lipari Guide
description: scientific article; zbMATH DE number 7495062