Antonis D. Papatsaras

According to our database¹, Antonis D. Papatsaras authored at least 2 papers between 2002 and 2003.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2003

Modelling and tool support for the formal development of distributed systems.

[BibT_eX]

[DOI]

PhD thesis, 2003

2002

Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study.

[BibT_eX]

[DOI]

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002