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.

A Practical Event-B Refinement Method Based on a UML-Driven Development Process

Thiago C. de Sousa, Paulo Sérgio Muniz Silva, Colin F. Snook. A Practical Event-B Refinement Method Based on a UML-Driven Development Process. In John Derrick, John A. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene, editors, Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Volume 7316 of Lecture Notes in Computer Science, pages 357-360, Springer, 2012. [doi]

Authors

Thiago C. de Sousa

This author has not been identified. Look up 'Thiago C. de Sousa' in Google

Paulo Sérgio Muniz Silva

This author has not been identified. Look up 'Paulo Sérgio Muniz Silva' in Google

Colin F. Snook

This author has not been identified. Look up 'Colin F. Snook' in Google
runs on