Journal of Applied Mathematics / 2013 / Article / Fig 6

Research Article

Component-Based Formal Modeling of PLC Systems

Figure 6

BIP component of TON timer.

We are committed to sharing findings related to COVID-19 as quickly as possible. We will be providing unlimited waivers of publication charges for accepted research articles as well as case reports and case series related to COVID-19. Review articles are excluded from this waiver policy. Sign up here as a reviewer to help fast-track new submissions.