A formal method for analyzing software architecture models in SAM Conference

Yu, HQ, He, XD, Yi, D et al. (2002). A formal method for analyzing software architecture models in SAM . Proceedings - International Computer Software and Applications Conference, 645-652. 10.1109/CMPSAC.2002.1045076

cited authors

  • Yu, HQ; He, XD; Yi, D; Lian, M

authors

date/time interval

  • August 26, 2002 -

publication date

  • January 1, 2002

published in

keywords

  • Computer Science
  • Computer Science, Hardware & Architecture
  • Computer Science, Information Systems
  • Computer Science, Software Engineering
  • Engineering
  • Engineering, Electrical & Electronic
  • Petri net
  • SAM
  • Science & Technology
  • Software architecture
  • Technology
  • temporal logic
  • verification

Location

  • ENGLAND, OXFORD

Digital Object Identifier (DOI)

International Standard Book Number (ISBN) 10

Conference

  • 26th Annual International Computer Software and Applications Conference

publisher

  • IEEE COMPUTER SOC

start page

  • 645

end page

  • 652