scientific article; zbMATH DE number 1798186
From MaRDI portal
Publication:4553259
Recommendations
- Modeling and model checking web services
- Formal Techniques for Networked and Distributed Systems – FORTE 2004
- WAVer: a model checking-based tool to verify web application design
- Model checking using net unfoldings
- Model checking using net unfoldings
- scientific article; zbMATH DE number 2080188
- scientific article; zbMATH DE number 910719
Cited in
(9)- Modeling web interactions and errors
- Model checking database applications
- scientific article; zbMATH DE number 1956557 (Why is no real title available?)
- Modeling and model checking web services
- Verifying the consistency of web-based technical documentations
- Model checking hybrid logics (with an application to semistructured data)
- Applying model-checking to solve queries on semistructured data
- WAVer: a model checking-based tool to verify web application design
- Formal methods for verification of websites macrostructure integrity
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4553259)
