Krumm, HeikoGraw, Günter2010-05-312010-05-312010-05-31http://hdl.handle.net/2003/27247http://dx.doi.org/10.17877/DE290R-13011deChemietechnische AnlageSteuerungssoftwarecTLATLAUMLVerfeinerungsmusterAnalysemusterEntwurfsmusterVerfeinerungModel-CheckerOPC UAIEC 61131-3004Korrekte SteuerungssoftwareTextSteuerungssystemUMLUnified modeling languageEntwurfsmusterTLA <Logik>SoftwareentwurfIndustrielle AnlageModel Checkingurn:nbn:de:hbz:290-2003/27247-7