Towards a Specification and Design Method for Embedded Systems Using Protocol Synthesis.

Cees J. Koomen

Browse the full ICCC paper archive.