On specifying systems that connect to the physical world Conferences

authors

• Maibaum, Thomas

status

• published 

publication date

• January 1, 2006

published in

• Frontiers in Artificial Intelligence and Applications  Journal

presented at event

• 5th International Conference on Software Methodologies, Tools and Techniques (SoMeT 2006)  Conference

keywords

• Computer Science
• Computer Science, Software Engineering
• Science & Technology
• Technology
• engineering method
• fault tolerance
• formal methods
• modelling
• normal design
• radical design
• reactive systems
• software engineering

International Standard Book Number (ISBN) 13

• 978-1-58603-673-7

start page

• 71

end page

• 83

volume

• 147