For the most recent entries see the Petri Nets Newsletter.

Formal Specification for Designing User Interfaces of Air Traffic Control Applications.

Palanque, Ph.; Paterno, F.; Bastide, R.

In: Proceedings of the Second International Workshop on Formal Methods for Industrial Critical Systems, Cesena, Italy, July 4-5, 1997, pages 23-35. 1997.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography