Extending Safety Analysis Techniques with Formal Semantics
Year: 1994
Type: book-chapter
Source: Springer eBooks
Author: Janusz Górski
Language: English
Topic: Risk and Safety Analysis
Subfield: Safety, Risk, Reliability and Quality
Field: Engineering
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2127681894