External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Extracting EFSMs of Web Applications for Formal Requirements Specification

Andrey Zakonov, Anatoly Shalyto. Extracting EFSMs of Web Applications for Formal Requirements Specification. In Frank Ortmeier, Peter Daniel, editors, Computer Safety, Reliability, and Security - 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings. Volume 7612 of Lecture Notes in Computer Science, pages 161-172, Springer, 2012. [doi]

Authors

Andrey Zakonov

This author has not been identified. Look up 'Andrey Zakonov' in Google

Anatoly Shalyto

This author has not been identified. Look up 'Anatoly Shalyto' in Google
runs on