Fundamental Approaches to Software Engineering

DOI10.1007/b95935zbMath1129.68445OpenAlexW2494184210WikidataQ59393629 ScholiaQ59393629MaRDI QIDQ5428888

John Rushby, Grégoire Hamon

Publication date: 28 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b95935

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (6)

Dynamic State Machines for Formalizing Railway Control System Specifications ⋮ Refinement-oriented models of Stateflow charts ⋮ Unnamed Item ⋮ Control: a perspective ⋮ A mechanical analysis of program verification strategies ⋮ On checking equivalence of simulation scripts

Uses Software

• Matlab
• Simulink
• StateFlow

This page was built for publication: Fundamental Approaches to Software Engineering