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
