Pages that link to "Item:Q5394171"
From MaRDI portal
The following pages link to Automated Technology for Verification and Analysis (Q5394171):
Displaying 5 items.
- A comparative study of formal verification techniques for software architecture specifications (Q1859540) (← links)
- A case study using lightweight formalism to review an information system specification (Q2745263) (← links)
- Automatic verification of combined specifications: an overview (Q2873685) (← links)
- (Q4472239) (← links)
- Discussion on: ``Formal specification method for systems automation'' (Q5971345) (← links)