The Abstract State Machines Method for High-Level System Design and Analysis

DOI10.1007/978-1-84882-736-3_3zbMath1189.93006OpenAlexW2291134631MaRDI QIDQ3557669

Egon Börger

Publication date: 23 April 2010

Published in: Formal Methods: State of the Art and New Directions (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-84882-736-3_3

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) General systems (93A10) Artificial intelligence for robotics (68T40)

Related Items (1)

Communities and ancestors associated with Egon Börger and ASM

Uses Software

• FALKO
• Unnamed Item

This page was built for publication: The Abstract State Machines Method for High-Level System Design and Analysis