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
Number of pages	18
Journal	Journal of network and computer applications
Volume	19
Issue number	4
Publication status	Published - 1996

Cite this

@article{ccecb30c370f4cec8b2dc8faabd383dd,

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 = "Academic Press",

number = "4",

}