N. Petalidis

Publication Activity (10 Years)

Years Active: 1998-2009
Publications (10 Years): 0

Publications

N. Petalidis
Verification of a fieldbus scheduling protocol using timed automata. Comput. Informatics 28 (5) (2009)
N. Petalidis, D. S. Gill
Introducing monitoring events to timed-CSP. IEE Proc. Softw. 148 (1) (2001)
N. Petalidis, D. S. Gill
The Formal Specification of the Fieldbus Foundation Link Scheduler in E-LOTOS. ICFEM (1998)