Thomas Weigert

◀ ▶ joint publications with Alexander A. Letichevsky

> Home > Persons > Thomas Weigert

Publications

2015
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/sdl/LetichevskyLPW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/LetichevskyLPW15
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Thomas Weigert:
Insertion Modeling and Symbolic Verification of Large Systems. SDL Forum 2015: 3-18
2010
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/LetichevskyKLPVW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/LetichevskyKLPVW10
Alexander A. Letichevsky, Alexander Kolchin, Oleksandr Letychevskyy Jr., Stepan Potiyenko, Vladislav A. Volkov, Thomas Weigert:
Formal Requirements Capturing using VRS system. WING@ETAPS/IJCAR 2010: 148-149
2005
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/cn/LetichevskyKLVBW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cn/LetichevskyKLVBW05
Alexander A. Letichevsky, Julia V. Kapitonova, A. A. Letichevsky Jr., Vladislav A. Volkov, Sergey Baranov, Thomas Weigert:
Basic protocols, message sequence charts, and the verification of requirements specifications. Comput. Networks 49(5): 661-675 (2005)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sdl/LetichevskyKKVLW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/LetichevskyKKVLW05
Alexander A. Letichevsky, Julia V. Kapitonova, Vsevolod Kotlyarov, Vladislav A. Volkov, A. A. Letichevsky Jr., Thomas Weigert:
Semantics of Message Sequence Charts. SDL Forum 2005: 117-132
[r1]
- view
  authority control:
- export record
  dblp key:
  - reference/crc/LetichevskyKWV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/LetichevskyKWV05
Alexander A. Letichevsky, Julia V. Kapitonova, Thomas Weigert, Vladislav A. Volkov:
System Validation. Embedded Systems Handbook 2005
2003
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/03/BaranovJKLW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/03/BaranovJKLW03
Sergey Baranov, Clive Jervis, Vsevolod Kotlyarov, Alexander A. Letichevsky, Thomas Weigert:
Leveraging UML to Deliver Correct Telecom Applications. UML for Real 2003: 323-342

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.