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.

Specifying Complex Systems in Object-Z: A Case Study of Petrol Supply Systems

Yangping Li, Xiaoheng Pan, Tianming Hu, Sam Yuan Sung, Huaqiang Yuan. Specifying Complex Systems in Object-Z: A Case Study of Petrol Supply Systems. JSW, 9(7):1707-1717, 2014. [doi]

Authors

Yangping Li

This author has not been identified. Look up 'Yangping Li' in Google

Xiaoheng Pan

This author has not been identified. Look up 'Xiaoheng Pan' in Google

Tianming Hu

This author has not been identified. Look up 'Tianming Hu' in Google

Sam Yuan Sung

This author has not been identified. Look up 'Sam Yuan Sung' in Google

Huaqiang Yuan

This author has not been identified. Look up 'Huaqiang Yuan' in Google
runs on