Options
Fraunhofer-Institut für Produktionsanlagen und Konstruktionstechnik IPK
Now showing
1 - 10 of 19
-
PublicationKnowledge acquisition from historical data for case oriented supervisory control( 2005)
;Lisounkin, A. ;Schreck, G.Schmidt, H.-W. -
PublicationConstruction of verified models for systems construction of verified models for systems represented as networks( 2004)
;Yagüe, A. ;Alarcon, P. ;Garbajosa, J. ;Lisounkin, A.Schreck, G. -
PublicationProcess algebra for model check and simulation in technical networks( 2004)Lisounkin, A.
-
PublicationInterpreter based model check for distribution networks( 2004)
;Lisounkin, A. ;Sabov, A.Schreck, G. -
PublicationWater consumption profile analysis for facility control and operator training( 2002)
;Lisounkin, A.Schreck, G. -
PublicationAdvanced model based process supervision in hot steel milling( 2002)
;Lisounkin, A. ;Schreck, G. ;Paiuk, J. ;Muratori, F. ;Viale, M. ;Vigliocco, A. ;Cipriano, A. ;Orchard, M. ;Kuchen, B. ;Lage, A. ;Rossomondo, F. ;Schmidt, H.-W. ;Galan, R.Jimenez, A. -
PublicationFlexible model architecture for scalable facilities with application to steel milling( 2002)
;Lisounkin, A.Schreck, G. -
-
-