Object modelling and formal specification during realtime system development

Peter O'Donoghue, Marie Murphy

Research output: Contribution to journalArticlepeer-review

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

Cite this