Model checking aspect-oriented design specification Conference Paper

name of conference

• 31st Annual International Computer Software and Applications Conference - Vol. 1- (COMPSAC 2007)

authors

• Ahlam Alsmadi, Farah Alsmadi, Hamza Alsmadi, Ahmad Alsmadi, Izzat

published proceedings

• COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL I, PROCEEDINGS

author list (cited authors)

• Xu, D., Alsmadi, I., & Xu, W.

citation count

• 15

complete list of authors

• Xu, Dianxiang||Alsmadi, Izzat||Xu, Weifeng

publication date

• July 2007

publisher

• Institute of Electrical and Electronics Engineers (IEEE)  Publisher

published in

• Compsac -New York-  Journal

keywords

• 46 Information And Computing Sciences
• 4612 Software Engineering
• 4613 Theory Of Computation

Digital Object Identifier (DOI)

• 10.1109/compsac.2007.152

International Standard Book Number (ISBN) 13

• 978-0-7695-2870-0

start page

• 491

end page

• +

volume

• 1

URL

• http://dx.doi.org/10.1109/compsac.2007.152