Object modelling and formal specification during realtime system development

Peter O'Donoghue, Marie Murphy

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)335-352
JournalJournal of Network and Computer Applications
Volume19
Issue number4
Publication statusPublished - 1996

Cite this