N. Petalidis

According to our database¹, N. Petalidis authored at least 3 papers between 1998 and 2009.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2009

Verification of a fieldbus scheduling protocol using timed automata.

[BibT_eX]

[DOI]

Comput. Informatics, 2009

2001

Introducing monitoring events to timed-CSP.

[BibT_eX]

[DOI]

IEE Proc. Softw., 2001

1998

The Formal Specification of the Fieldbus Foundation Link Scheduler in E-LOTOS.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998