The use of formal methods in standardisation of interfaces of signalling systems

Maarten van der Werff, Bernd Elsweiler, Bas Luttik, Paul Hendriks

Research output: Contribution to journalArticleProfessional

Fingerprint

Dive into the research topics of 'The use of formal methods in standardisation of interfaces of signalling systems'. Together they form a unique fingerprint.

Computer Science