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:ltu:diva-27159
Direct link
https://ltu.diva-portal.org/smash/record.jsf?pid=diva2:1000340
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
Development of Adequate Formalisms for Verification of IEC 61499 Distributed Applications
Vyatkin, Valeriy
ORCID-id:
0000-0002-9315-9920
Hanisch, Hans Michael
Department of Engineering Sciences, Martin Luther University Halle-Wittenberg.
2000 (engelsk)
Inngår i:
Proceedings of the 39th SICE annual conference - SICE 2000: SICE 2000 : international session papers ; Iizuka, Japan, 26 - 28 July 2000, Piscataway: IEEE Communications Society, 2000, s. 73-78
Konferansepaper, Publicerat paper (Fagfellevurdert)
sted, utgiver, år, opplag, sider
Piscataway: IEEE Communications Society, 2000. s. 73-78
Identifikatorer
URN:
urn:nbn:se:ltu:diva-27159
DOI:
10.1109/SICE.2000.889656
ISI:
000166473200014
Lokal ID: 07f5bf40-f9fc-41b6-b083-d681510eb0b6
ISBN:
078039805X (tryckt)
OAI: oai:DiVA.org:ltu-27159
DiVA, id:
diva2:1000340
Konferanse
SICE annual conference : 26/07/2000 - 28/07/2000
Merknad
Upprättat; 2000; 20130821 (andbra)
Tilgjengelig fra:
2016-09-30
Laget:
2016-09-30
Sist oppdatert:
2023-05-08
bibliografisk kontrollert
Open Access i DiVA
Fulltekst mangler i DiVA
Andre lenker
Forlagets fulltekst
Person
Vyatkin, Valeriy
Søk i DiVA
Av forfatter/redaktør
Vyatkin, Valeriy
Søk utenfor DiVA
Google
Google Scholar
doi
isbn
urn-nbn
Altmetric
doi
isbn
urn-nbn
Totalt: 25 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:ltu:diva-27159
Direct link
https://ltu.diva-portal.org/smash/record.jsf?pid=diva2:1000340
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
|
Forsker: Registrere
|
Student: Registrere
|
Kontakt
|
WCAG
DiVA
Logotyp