lnu.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:lnu:diva-75200
Direct link
http://lnu.diva-portal.org/smash/record.jsf?pid=diva2:1215053
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
Model-based functional verification & validation of complex train control systems: an on-board system testing case-study
De Nicola, Giuseppe
Flammini, Francesco
(CPS)
ORCID-id:
0000-0002-2833-7196
Mazzocca, Nicola
Orazzo, Antonio
2005 (engelsk)
Inngår i:
Archives of Transport, ISSN 0866-9546, Vol. 17, nr 3-4, s. 163-176
Artikkel i tidsskrift (Fagfellevurdert) Published
sted, utgiver, år, opplag, sider
2005. Vol. 17, nr 3-4, s. 163-176
HSV kategori
Forskningsprogram
Datavetenskap, Informations- och programvisualisering
Identifikatorer
URN:
urn:nbn:se:lnu:diva-75200
OAI: oai:DiVA.org:lnu-75200
DiVA, id:
diva2:1215053
Merknad
Ej belagd 180912
Tilgjengelig fra:
2018-06-07
Laget:
2018-06-07
Sist oppdatert:
2025-02-07
bibliografisk kontrollert
Open Access i DiVA
Fulltekst mangler i DiVA
Person
Flammini, Francesco
Søk i DiVA
Av forfatter/redaktør
Flammini, Francesco
Om emnet
Søk utenfor DiVA
Google
Google Scholar
urn-nbn
Altmetric
urn-nbn
Totalt: 89 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:lnu:diva-75200
Direct link
http://lnu.diva-portal.org/smash/record.jsf?pid=diva2:1215053
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.45.0
|
WCAG
|
DiVA-support
|
Linnéuniversitetets bibliotek
|
Linnaeus University Press
|
Publicera/Registrera
DiVA
Logotyp