FALKO

MaRDI QIDQ16996swMATHFDO

Official website http://www.mobility.siemens.com/mobility/global/en/urban-mobility/rail-solutions/rail-automation/operations-control-systems/Pages/operations-control-systems.aspx

Cited in

(17)

• A guarded fragment for abstract state machines
• Frontiers of Combining Systems
• The abstract state machines method for high-level system design and analysis
• scientific article; zbMATH DE number 2000398 (Why is no real title available?)
• scientific article; zbMATH DE number 1670502 (Why is no real title available?)
• scientific article; zbMATH DE number 1670521 (Why is no real title available?)
• CoreASM
• SystemC
• Metasonic
• XASM
• ASMKeY
• Datalog LITE
• ASM Workbench
• scientific article; zbMATH DE number 1670522 (Why is no real title available?)
• The subject-oriented approach to software design and the abstract state machines method
• CoreASM: an extensible ASM execution engine
• Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems

This page was built for software: FALKO