LiU Electronic Press
Full-text not available in DiVA
Author:
Bunus, Peter (Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory) (Linköping University, The Institute of Technology)
Fritzson, Peter (Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory) (Linköping University, The Institute of Technology)
Title:
Semi-automatic Fault Localization and Behaviour Verification for Physical System Simulation Models
Department:
Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory
Linköping University, The Institute of Technology
Publication type:
Conference paper (Refereed)
Language:
English
In:
In Proceedings 8th IEEE International Conference on Automated Software Engineering. (Montreal, Canada, October 6-10, 2003)
Year of publ.:
2003
URI:
urn:nbn:se:liu:diva-62130
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-62130
Subject category:
Engineering and Technology
SVEP category:
TECHNOLOGY
Available from:
2010-11-19
Created:
2010-11-19
Last updated:
2010-11-19
Statistics:
10 hits