Table-based specification techniques Conferences

authors

• Bourguiba, Imene
• Janicki, Ryszard

status

• published 

publication date

• July 2009

published in

• 2009 International Conference on Computers & Industrial Engineering  Journal

presented at event

• Industrial Engineering (CIE39)  Conference

keywords

• Computer Science
• Computer Science, Theory & Methods
• Engineering
• Engineering, Electrical & Electronic
• Engineering, Industrial
• Science & Technology
• Technology
• formal methods
• requirements verification and validation
• specification techniques
• tabular notation

Digital Object Identifier (DOI)

• 10.1109/iccie.2009.5223955

International Standard Book Number (ISBN) 13

• 978-1-4244-4135-8

start page

• 1520

end page

• 1525