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

24 citations · 49 across the 7 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

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…