Matching and Merging of Statecharts Specifications 论文

2007Proceedings/Proceedings - International Conference on Software Engineering引用 248
DOI
Service-Oriented Architecture and Web ServicesSemantic Web and OntologiesFormal Methods in Verification
Semantic Web and OntologiesFormal Methods in VerificationService-Oriented Architecture and Web Services
相关技术:Service-Oriented Architecture and Web ServicesFormal Methods in Verification
关系图谱

Matching and Merging of Statecharts Specifications · 作者

P

Pamela Zave

S

Steve Easterbrook

M

Marsha Chećhik

M

Mehrdad Sabetzadeh

S

Shiva Nejati