ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies-Reference-Cited by-同舟云学术

ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies

Published:1999 Issue: Volume: Page:77-91
ISSN:
Container-title:Tool Support for System Specification, Development and Verification
language:
Short-container-title:

Author:

Contini S.,Scheer S.,Wilikens M.,de Cola G.,Cojazzi G.

Publisher

Springer Vienna

Link

http://link.springer.com/content/pdf/10.1007/978-3-7091-6355-9_6

Reference14 articles.

1. Amendola, A., Clarotti, C.A., Contini, S., Spizzichino, F. (1980): Analysis of Complete Logical Structures in System Reliability Assessment, JRC-Ispra, EUR 6886 EN

2. Bryant, R. (1987): Graph Based Algorithms for Boolean Function Manipulation IEEE Transactions on Computer, 35 (8), pp. 677–691

3. Caldarola, L., Wichenhauser, W. (1981): The Boolean Algebra with Restricted Variables as a Tool for Fault Tree Modularization, JRC-Karlsruhe, KfK 3190/EUR 7056e

4. Clarotti, C.A., De Cola, G., (1983): The Markan Code, in: Proc. Eurodata Conference, Venice, Italy

5. Contini, S. (1998): ASTRA Theoretical Handbook. JRC-Ispra, SP-report, under publication

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Conclusions and Advanced Open Issues;Model-Driven Dependability Assessment of Software Systems;2013

2. From Software Models to Dependability Analysis Models;Model-Driven Dependability Assessment of Software Systems;2013

3. Proposals for Dependability Assessment;Model-Driven Dependability Assessment of Software Systems;2013

4. Dependability Analysis Techniques;Model-Driven Dependability Assessment of Software Systems;2013

5. Dependability Modeling and Analysis Profile;Model-Driven Dependability Assessment of Software Systems;2013