Specification of Real-Time Systems: A View Oriented Approach

L M Barroca, J A McDermid

Research output: Contribution to conferencePaper

Original languageEnglish
Publication statusPublished - 1993

Cite this