On hierarchically developing reactive systems


Zhan, Naijun ; Majster-Cederbaum, Mila



DOI: https://doi.org/10.1016/j.ic.2010.04.002
URL: https://www.sciencedirect.com/science/article/pii/...
Additional URL: https://core.ac.uk/display/82612761
Document Type: Article
Year of publication: 2010
The title of a journal, publication series: Information and Computation
Volume: 208
Issue number: 9
Page range: 997-1019
Place of publication: Amsterdam
Publishing house: Elsevier
ISSN: 0890-5401
Publication language: English
Institution: School of Business Informatics and Mathematics > Praktische Informatik II (Majster-Cederbaum Em)
Subject: 004 Computer science, internet
Abstract: The hierarchical development method is one of the most practical and effective methods for designing large reactive systems by allowing a design at different levels of abstraction. Combining hierarchical specification with hierarchical implementation plays a key role in decreasing the complexity of the verification of these systems. But, up to now, little work has been done related to the topic. In this paper, we investigate this issue.

Dieser Eintrag ist Teil der Universitätsbibliographie.




+ Citation Example and Export

Zhan, Naijun ; Majster-Cederbaum, Mila (2010) On hierarchically developing reactive systems. Information and Computation Amsterdam 208 9 997-1019 [Article]


+ Search Authors in

+ Page Views

Hits per month over past year

Detailed information



You have found an error? Please let us know about your desired correction here: E-Mail


Actions (login required)

Show item Show item