https://www.mdu.se/
mdu.se
Publications
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Jump to content
Change search
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
https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-7281
Direct link
http://mdh.diva-portal.org/smash/record.jsf?pid=diva2:237291
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
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
Outils pour le Model-Checking de Systèmes Temporisés
David, Alexandre
Berhmann, Gerd
Mälardalen University, School of Innovation, Design and Engineering.
Guldstrand Larsen, Kim
Pettersson, Paul
Mälardalen University, School of Innovation, Design and Engineering.
ORCID iD:
0000-0003-4040-3480
Illum Rasmussen, Jacob
Mälardalen University, School of Innovation, Design and Engineering.
Yi, Wang
Mälardalen University, School of Innovation, Design and Engineering.
Magnin, Morgan
Show others and affiliations
2008 (English)
In:
Approches formelles des systèmes embarqués communicants / [ed] Roux, Olivier H. and Jard, Claude, Paris: Hermès science publications , 2008
Chapter in book (Other academic)
Place, publisher, year, edition, pages
Paris: Hermès science publications , 2008.
National Category
Engineering and Technology
Identifiers
URN:
urn:nbn:se:mdh:diva-7281
ISBN:
978-2-7462-1942-7 (print)
OAI: oai:DiVA.org:mdh-7281
DiVA, id:
diva2:237291
Available from:
2009-09-25
Created:
2009-09-25
Last updated:
2014-01-24
Bibliographically approved
Open Access in DiVA
No full text in DiVA
Authority records
Pettersson, Paul
Search in DiVA
By author/editor
Pettersson, Paul
Yi, Wang
By organisation
School of Innovation, Design and Engineering
On the subject
Engineering and Technology
Search outside of DiVA
Google
Google Scholar
isbn
urn-nbn
Altmetric score
isbn
urn-nbn
Total: 47 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
https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-7281
Direct link
http://mdh.diva-portal.org/smash/record.jsf?pid=diva2:237291
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
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.45.0
|
WCAG
|
Mälardalen University Library
|
DiVA Log in
DiVA
Logotyp