Login / Signup
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)