Pages that link to "Item:Q555790"

The following pages link to ASM refinement and generalizations of forward simulation in data refinement: a comparison (Q555790):

Displaying 11 items.

• Completeness of fair ASM refinement (Q541210) (← links)
• Introducing extra operations in refinement (Q736913) (← links)
• Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
• Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
• Safe abstractions of data encodings in formal security protocol models (Q2018750) (← links)
• Verification of compliance for multilevel models in individual trace semantics (Q2064403) (← links)
• Moded and continuous abstract state machines (Q2115900) (← links)
• Atomic actions, and their refinements to isolated protocols (Q2268472) (← links)
• Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems (Q2643128) (← links)
• The Subject-Oriented Approach to Software Design and the Abstract State Machines Method (Q3223998) (← links)
• Completeness of ASM Refinement (Q5403462) (← links)