liu.se
Search for publications in DiVA
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Change search
Search
Only documents with full text in DiVA
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-62130
Direct link
http://liu.diva-portal.org/smash/record.jsf?pid=diva2:371223
Cite
Citation style
apa
harvard1
ieee
modern-language-association-8th-edition
vancouver
oxford
Other style
apa
harvard1
ieee
modern-language-association-8th-edition
vancouver
oxford
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
Semi-automatic Fault Localization and Behaviour Verification for Physical System Simulation Models
Bunus, Peter
Linköping University, Department of Computer and Information Science.
(PELAB)
Fritzson, Peter
Linköping University, Department of Computer and Information Science.
(PELAB)
ORCID iD:
0000-0002-3435-4996
2003 (English)
Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
2003.
National Category
Engineering and Technology
Identifiers
URN:
urn:nbn:se:liu:diva-62130
OAI: oai:DiVA.org:liu-62130
DiVA, id:
diva2:371223
Conference
In Proceedings 8th IEEE International Conference on Automated Software Engineering. (Montreal, Canada, October 6-10, 2003)
Available from:
2010-11-19
Created:
2010-11-19
Last updated:
2014-10-08
Open Access in DiVA
No full text in DiVA
Authority records BETA
Bunus, Peter
Fritzson, Peter
Search in DiVA
By author/editor
Bunus, Peter
Fritzson, Peter
By organisation
Department of Computer and Information Science
On the subject
Engineering and Technology
Search outside of DiVA
Google
Google Scholar
urn-nbn
Altmetric score
urn-nbn
Total: 117 hits
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-62130
Direct link
http://liu.diva-portal.org/smash/record.jsf?pid=diva2:371223
Cite
Citation style
apa
harvard1
ieee
modern-language-association-8th-edition
vancouver
oxford
Other style
apa
harvard1
ieee
modern-language-association-8th-edition
vancouver
oxford
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.35.4
|
DiVA portal
|
DiVA Log in
|
DiVA Contact
|
LiU University Library
|
SwePub
|
Uppsök
|
Linking to DiVA