Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Timing diagram specifications in modular modeling of industrial automation systems
Department of Automation and Systems, Federal University of Santa Catarina.
Department of Engineering Sciences, Martin Luther University Halle-Wittenberg.
2005 (English)In: Proceedings of the 16th IFAC world congress: Prague, Czech Republic, July 3 - 8, 2005, Oxford: Elsevier, 2005, p. 80-85Conference paper, Published paper (Refereed)
Abstract [en]

This paper deals with further development of the timing-diagram based specification language destined for application in modular modeling of industrial automation systems. The results of this work are intended for application in formal verification of software intensive automation systems

Place, publisher, year, edition, pages
Oxford: Elsevier, 2005. p. 80-85
Series
I F A C Workshop Series, ISSN 1474-6670 ; 16
Identifiers
URN: urn:nbn:se:ltu:diva-32597Local ID: 723b86aa-3a8a-4f08-8a32-55acdfc71da9ISBN: 008045108X (print)OAI: oai:DiVA.org:ltu-32597DiVA, id: diva2:1005831
Conference
IFAC World Congress : 03/07/2005 - 08/07/2005
Note
Upprättat; 2005; 20130525 (andbra)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2017-11-25Bibliographically approved

Open Access in DiVA

No full text in DiVA

Authority records BETA

Vyatkin, Valeriy

Search in DiVA

By author/editor
Vyatkin, Valeriy

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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