6th International Workshop on Automated Specification and Verification of Web Systems, WWV 2010, Vienna, Austria, July 30-31, 2010
Published in: WWV (2013)
Keyphrases
- asynchronous circuits
- expert systems
- formal methods
- web documents
- website
- high level
- management system
- semi automated
- artificial intelligence
- object oriented
- intelligent systems
- computer systems
- formal languages
- definition language
- formal verification
- web technologies
- web users
- lecture notes
- model checking
- complex systems
- web applications
- social media
- digital libraries
- social networks