FALKO

swMATH4839MaRDI QIDQ16996FDOQ16996

Author name not available (Why is that?)

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 (16)

• A guarded fragment for abstract state machines
• Frontiers of Combining Systems
• The abstract state machines method for high-level system design and analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• SystemC
• Metasonic
• XASM
• ASMKeY
• Datalog LITE
• Title not available (Why is that?)
• The subject-oriented approach to software design and the abstract state machines method
• ASM Workbench
• 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