Incremental architectural modeling and verification of real-time concurrent systems Proceedings Paper

cited authors

  • Deng, Y; Wang, JC; Sinha, R; Staples, J; Hinchey, MG; Liu, S

fiu authors

publication date

  • 1998

category

Digital Object Identifier (DOI)

research area