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 -2005, 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.

Metadata export


+ 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