EnglishSvenskaNorsk
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation 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
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Development of Adequate Formalisms for Verification of IEC 61499 Distributed Applications
ORCID iD: 0000-0002-9315-9920
Department of Engineering Sciences, Martin Luther University Halle-Wittenberg.
2000 (English)In: 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, p. 73-78Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Piscataway: IEEE Communications Society, 2000. p. 73-78
Identifiers
URN: urn:nbn:se:ltu:diva-27159DOI: 10.1109/SICE.2000.889656ISI: 000166473200014Local ID: 07f5bf40-f9fc-41b6-b083-d681510eb0b6ISBN: 078039805X (print)OAI: oai:DiVA.org:ltu-27159DiVA, id: diva2:1000340
Conference
SICE annual conference : 26/07/2000 - 28/07/2000
Note
Upprättat; 2000; 20130821 (andbra)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2023-05-08Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records

Vyatkin, Valeriy

Search in DiVA

By author/editor
Vyatkin, Valeriy

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 24 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation 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
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.47.0
|
Researcher: Register
|
Student: Register
|
Contact
|
WCAG