The following pages link to (Q4229232):
Displaying 6 items.
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
- Verifying minimum spanning tree algorithms with Stone relation algebras (Q1994364) (← links)
- Dynamic Logic with Binders and Its Application to the Development of Reactive Systems (Q3179414) (← links)
- Action systems in incremental and aspect-oriented modeling (Q5138491) (← links)
- Query-driven verification of data integration in the RDF data model (Q6040358) (← links)
- Verification-Led Smart Contracts (Q6166532) (← links)