JRC Publications Repository

JRC Publications Repository > Joint Research Centre > Joint Research Centre Historical Collection >

Please use this identifier to cite or link to this item: http://publications.jrc.ec.europa.eu/repository/handle/111111111/9775

Title: ASTRA, an Integrated Tool Set for Complex Systems Dependability Studies.
Authors: CONTINI Sergio mario
WILIKENS Marc andre
DE COLA Giuseppe
COJAZZI Giacomo giovanni mariano
Citation: Tool Support for System Specification, Development and Verification. Advances in Computing Science p. 77-91
Publisher: Springer
Publication Year: 1999
JRC Publication N°: JRC18415
URI: http://publications.jrc.ec.europa.eu/repository/handle/111111111/9775
Type: Articles in Journals
Appears in Collections:Joint Research Centre Historical Collection

Files in This Item:

There are no files associated with this item.

Items in repository are protected by copyright, with all rights reserved, unless otherwise indicated.


The mission of the JRC is to provide customer-driven scientific and technical support for the conception, development, implementation and monitoring of EU policies. As a service of the European Commission, the JRC functions as a reference centre of science and technology for the Union. Close to the policy-making process, it serves the common interest of the Member States, while being independent of special interests, whether private or national.
Powered by DSpace