TY - JOUR AU - Sadolewski, Jan TI - Asercyjne rozszerzenie języka ST normy IEC 61131-3 do dynamicznej weryfikacji systemów sterowania JO - Pomiary Automatyka Robotyka PY - 2011 KW - język strukturalny ST KW - oprogramowanie KW - programowanie kontraktowe KW - system sterowania DO - VL - 15 IS - 171 SP - 305 EP - 314 UR - https://www.par.pl/Archiwum/2011/2-2011/Asercyjne-rozszerzenie-jezyka-ST-normy-IEC-61131-3-do-dynamicznej-weryfikacji-systemow-sterowania M3 - http://dx.doi.org/ ER -