hh.se
Publikasjoner
vente ...
Enkelt søk
Avansert søk -
Forskningspublikasjoner
Avansert søk -
Studentoppgaver
Statistikk
English
Svenska
Norsk
Jump to content
Endre søk
Søk
Søk
Kun dokumenter med fulltekst i DiVA
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 4
CSV alle metadata
CSV alle metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20337
Direct link
http://hh.diva-portal.org/smash/record.jsf?pid=diva2:583424
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
Annet format
apa
ieee
modern-language-association-8th-edition
vancouver
Annet format
Fler format
Språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annet språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annet språk
Fler språk
Utmatningsformat
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Skapa
Stäng
Towards Model-Based Testing of Electronic Funds Transfer Systems
Asadi, Hamid Reza
Department of ECE, University of Tehran, Tehran, Iran.
Khosravi, Ramtin
Department of ECE, University of Tehran, Tehran, Iran.
Mousavi, Mohammad Reza
Department of CS, TU/Eindhoven, Eindhoven, The Netherlands.
ORCID-id:
0000-0002-4869-6794
Noroozi, Neda
Department of CS, TU/Eindhoven, Eindhoven, The Netherlands.
2011 (engelsk)
Inngår i:
Proceedings of the 4th International on Fundamentals of Software Engineering (FSEN 2011) / [ed] Farhad Arbab & Marjan Sirjani, Heidelberg: Springer, 2011, Vol. 4171, s. 253-267
Konferansepaper, Publicerat paper (Fagfellevurdert)
sted, utgiver, år, opplag, sider
Heidelberg: Springer, 2011. Vol. 4171, s. 253-267
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 7141
HSV kategori
Identifikatorer
URN:
urn:nbn:se:hh:diva-20337
DOI:
10.1007/978-3-642-29320-7_17
Scopus ID:
2-s2.0-84860689535
ISBN:
978-364229319-1
ISBN:
978-3-642-29320-7
OAI: oai:DiVA.org:hh-20337
DiVA, id:
diva2:583424
Konferanse
4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, Tehran, Iran, 20-22 April
Tilgjengelig fra:
2013-01-08
Laget:
2013-01-08
Sist oppdatert:
2025-10-01
bibliografisk kontrollert
Open Access i DiVA
Fulltekst mangler i DiVA
Andre lenker
Forlagets fulltekst
Scopus
Person
Mousavi, Mohammad Reza
Søk i DiVA
Av forfatter/redaktør
Mousavi, Mohammad Reza
Om emnet
Søk utenfor DiVA
Google
Google Scholar
doi
isbn
urn-nbn
Altmetric
doi
isbn
urn-nbn
Totalt: 337 treff
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 4
CSV alle metadata
CSV alle metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20337
Direct link
http://hh.diva-portal.org/smash/record.jsf?pid=diva2:583424
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
Annet format
apa
ieee
modern-language-association-8th-edition
vancouver
Annet format
Fler format
Språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annet språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annet språk
Fler språk
Utmatningsformat
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Skapa
Stäng
v. 2.47.0
|
WCAG
|
Högskolebiblioteket i Halmstad
|
Info för studenter
|
Info för forskare
|
Logga in
DiVA
Logotyp