activity
20102014
most citedBeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems

24 citations · 48 across the 4 of their papers we have counts for

collaborators
Showing 2010 · cs.PLShow all

1 paper · 2 filters

cs.PL2010★ 2 cited

Towards a Property Preserving Transformation from IEC 61131-3 to BIP

Jan Olaf Blech, Anton Hattendorf, Jia Huang

We report on a transformation from Sequential Function Charts of the IEC 61131-3 standard to BIP. Our presentation features a description of formal syntax and semantics representat…