Object modelling and formal specification during realtime system development

Peter O'Donoghue, Marie Murphy

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	335-352
Journal	Journal of Network and Computer Applications
Volume	19
Issue number	4
Publication status	Published (in print/issue) - 1996

Cite this

@article{316d26e70e7846e985026555ab837c61,

title = "Object modelling and formal specification during realtime system development",

author = "Peter O'Donoghue and Marie Murphy",

year = "1996",

language = "English",

volume = "19",

pages = "335--352",

journal = "Journal of Network and Computer Applications",

issn = "1084-8045",

publisher = "Elsevier",

number = "4",

}