Moded and continuous abstract state machines
type: Item
instance of: scholarly article
title: Moded and continuous abstract state machines
DOI: 10.1007/978-3-030-76020-5_3
author: Huibiao Zhu
author: Richard Banach
publication date: 2022-03-22T00:00:00Z
Mathematics Subject Classification ID: 68-XX
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7495052
describes a project that uses: Z
describes a project that uses: Rodin
MaRDI profile type: Publication
full work available at URL: 978-3-030-76020-5 3
OpenAlex ID: W3157881261
cites work: The B-Book
cites work: Q3569584
cites work: A theory of timed automata
cites work: Q2766651
cites work: A first order logic for specification of timed algorithms: Basic properties and a decidable class
cites work: The ASM refinement method
cites work: Q4873992
cites work: Abstract State Machines
cites work: Languages and Tools for Hybrid Systems Design
cites work: Statistical Model Checking for Cyber-Physical Systems
cites work: Q2724177
cites work: Q5294161
cites work: Q5459443
cites work: Q4503930
cites work: Q3126969
cites work: Hybrid I/O automata.
cites work: Q3069826
cites work: Logical Analysis of Hybrid Systems
cites work: Logical Foundations of Cyber-Physical Systems
cites work: Q5358001
cites work: Concurrent Programming: Algorithms, Principles, and Foundations
cites work: Q5297301
cites work: ASM refinement and generalizations of forward simulation in data refinement: a comparison
cites work: Q3539947
cites work: Verification and Control of Hybrid Systems
cites work: Q3838091
cites work: Q4002149
cites work: Q4301167
Recommended article: Q2753716
Recommended article: Q2753699
Recommended article: Q4520500
Recommended article: Ambient abstract state machines with applications
Recommended article: Q2753698
Recommended article: Concurrent abstract state machines
Recommended article: Q4783310
Recommended article: Abstract state machines: a unifying view of models of computation and of system design frameworks
Recommended article: Q4413689
description: scientific article; zbMATH DE number 7495052