Title: ASTRA, an Integrated Tool Set for Complex Systems Dependability Studies.
Authors: CONTINI Sergio marioSCHEER StefanWILIKENS Marc andreDE COLA GiuseppeCOJAZZI 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 N°: JRC18415
URI: http://publications.jrc.ec.europa.eu/repository/handle/JRC18415
Type: Articles in periodicals and books
Abstract: Abstract not available
JRC Directorate: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.