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.

Reo2PVS: Formal Specification and Verification of Component Connectors

M. Saqib Nawaz, Meng Sun 0002. Reo2PVS: Formal Specification and Verification of Component Connectors. In Óscar Mortágua Pereira, editor, The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018. pages 391-390, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2018. [doi]

Authors

M. Saqib Nawaz

This author has not been identified. Look up 'M. Saqib Nawaz' in Google

Meng Sun 0002

This author has not been identified. Look up 'Meng Sun 0002' in Google
runs on