https://www.mdu.se/
mdu.se
Publikationer
Vänta ...
Enkel sökning
Avancerad sökning -
Forskningspublikationer
Avancerad sökning -
Studentuppsatser
Statistik
English
Svenska
Norsk
Hoppa till innehåll
Ändra sökning
Sök
Sök
Endast dokument med fulltext i DiVA
Referera
Exportera
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
Länk till posten
Permanent länk
https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-7135
Direktlänk
http://mdh.diva-portal.org/smash/record.jsf?pid=diva2:237145
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
Annat format
apa
ieee
modern-language-association-8th-edition
vancouver
Annat format
Fler format
Språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
Fler språk
Utmatningsformat
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Skapa
Stäng
The TASM Language and the Hi-Five Framework: Specification, validation, and verification of embedded real-time systems
Ouimet, Martin
MIT, Embedded Syst Lab, Cambridge, MA USA.
Lundqvist, Kristina
MIT, Embedded Syst Lab, Cambridge, MA USA.
ORCID-id:
0000-0003-0904-3712
2007 (Engelska)
Ingår i:
14TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2007, s. 567-567
Konferensbidrag, Publicerat paper (Övrigt vetenskapligt)
Ort, förlag, år, upplaga, sidor
2007. s. 567-567
Nationell ämneskategori
Datorsystem
Identifikatorer
URN:
urn:nbn:se:mdh:diva-7135
ISI:
000252738800080
ISBN:
978-0-7695-3057-4 (tryckt)
OAI: oai:DiVA.org:mdh-7135
DiVA, id:
diva2:237145
Konferens
14th Asia-Pacific Software Engineering Conference (APSEC 07), Dec. 4-7, 2007, Nagoya, Japan
Tillgänglig från:
2009-09-25
Skapad:
2009-09-25
Senast uppdaterad:
2015-08-26
Bibliografiskt granskad
Open Access i DiVA
Fulltext saknas i DiVA
Person
Lundqvist, Kristina
Sök vidare i DiVA
Av författaren/redaktören
Lundqvist, Kristina
I ämnet
Datorsystem
Sök vidare utanför DiVA
Google
Google Scholar
isbn
urn-nbn
Altmetricpoäng
isbn
urn-nbn
Totalt: 22 träffar
Referera
Exportera
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
Länk till posten
Permanent länk
https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-7135
Direktlänk
http://mdh.diva-portal.org/smash/record.jsf?pid=diva2:237145
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
Annat format
apa
ieee
modern-language-association-8th-edition
vancouver
Annat format
Fler format
Språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
Fler språk
Utmatningsformat
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Skapa
Stäng
v. 2.45.0
|
WCAG
|
Mälardalens universitetsbibliotek
|
DiVA Logga in
DiVA
Logotyp