Pages that link to "Item:Q5464484"
From MaRDI portal
The following pages link to Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464484):
Displaying 10 items.
- ASM-based formal design of an adaptivity component for a cloud system (Q315283) (← links)
- Hardness and inapproximability of minimizing adaptive distinguishing sequences (Q479811) (← links)
- Automated specification and verification of web-based applications (Q511928) (← links)
- Lower bounds on lengths of checking sequences (Q613138) (← links)
- The relation between preset distinguishing sequences and synchronizing sequences (Q736851) (← links)
- Declarative layout constraints for testing web applications (Q739635) (← links)
- WAVer: a model checking-based tool to verify web application design (Q2852079) (← links)
- On the Automated Verification of Web Applications with Embedded SQL (Q3174909) (← links)
- (Q4445629) (← links)
- (Q4553259) (← links)