Specifying Reactive Systems through the Object-Process Methodology

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Proceedings 1998 Conference on Engineering of Computer-Based Systems (ECBS'98)
Place of Publication	Jerusalem
Publisher	IEEE Computer Society
Pages	29-36
ISBN (Print)	0-8186-8463-1
State	Published - 1998
Externally published	Yes

Cite this

@inproceedings{b4770cdb460d45639a7f3649c6fed94b,

title = "Specifying Reactive Systems through the Object-Process Methodology",

author = "Mor Peleg and Dov Dori",

year = "1998",

language = "English",

isbn = "0-8186-8463-1",

pages = "29--36",

booktitle = "Proceedings 1998 Conference on Engineering of Computer-Based Systems (ECBS'98)",

publisher = "IEEE Computer Society",

address = "United States",

}