.gif)
] Filters: Taxonomy Term is railway application [Clear All Filters]
"Model Checking PLC Software Written in Function Block Diagram",
ICST 2010, Paris, IEEE, 2010.
Abstract
Download: 2010ICST.pdf (279.11 KB)
"OOLH: A formal framework for specifying system requirements",
SIGSAND-EUROPE 2008, Berlin, Springer LNI, Vol. 129, 2008.
Abstract
Download: 2008OOLH.pdf (71.71 KB)