Formal semantics and verification for feature modeling

Jing Sun, Hongyu Zhang, Yuan-Fang Li, Hai Wang

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

87 Citations (Scopus)
Original languageEnglish
Title of host publication10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005)
Subtitle of host publicationProceedings
EditorsShaoying Liu, Jim Woodcock
Place of PublicationLos Alamitos CA USA
PublisherIEEE Computer Society
Pages303 - 312
Number of pages10
ISBN (Print)076952284X
Publication statusPublished - 2005
Externally publishedYes
EventIEEE International Conference on Engineering of Complex Computer Systems 2005 - Shanghai, China
Duration: 16 Jun 200520 Jun 2005
Conference number: 10th
https://ieeexplore.ieee.org/xpl/conhome/9905/proceeding (Proceedings)

Conference

ConferenceIEEE International Conference on Engineering of Complex Computer Systems 2005
Abbreviated titleICECCS 2005
CountryChina
CityShanghai
Period16/06/0520/06/05
Internet address

Cite this