By the same authors

A Formal Specification of Fault Trees for SAM

Research output: Contribution to journalArticle

Author(s)

Department/unit(s)

Publication details

JournalIPS Transactions on Information Processing
DatePublished - 1997
Original languageEnglish

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations