dblp.uni-trier.dewww.uni-trier.de

Andrei Lobov

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EEJuha Puttonen, Andrei Lobov, Jose L. Martinez Lastra: An application of BPEL for service orchestration in an industrial environment. ETFA 2008: 530-537
2006
4EEAndrei Lobov, Corina Popescu, Jose L. Martinez Lastra: An Algorithm for Siemens STL representation in TNCES. ETFA 2006: 641-647
3EEHans-Michael Hanisch, Andrei Lobov, Jose L. Martinez Lastra, Reijo Tuokko, Valeriy Vyatkin: Formal validation of intelligent-automated production systems: towards industrial applications. IJMTM 8(1/2/3): 75-106 (2006)
2005
2EEJose L. Martinez Lastra, Andrei Lobov, L. Godinho: Closed loop control using an IEC 61499 application generator for scan-based controllers. ETFA 2005
1EEAndrei Lobov, Jose L. Martinez Lastra, Reijo Tuokko: On controller and plant modeling for model-based formal verification. ETFA 2005

Coauthor Index

1L. Godinho [2]
2Hans-Michael Hanisch [3]
3Jose L. Martinez Lastra [1] [2] [3] [4] [5]
4Corina Popescu [4]
5Juha Puttonen [5]
6Reijo Tuokko [1] [3]
7Valeriy Vyatkin [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)