The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering
Kristina Lundqvist, Martin Ouimet · Zenodo (CERN European Organization for Nuclear Research) · 2020
In this paper, we present the Timed Abstract State Machine (TASM) language, which is a language for the specification of embedded real-time systems. In the engineering of embedded real-time systems ...