Explaining safety violations in real-time systems (Q832041)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Explaining safety violations in real-time systems
scientific article

    Statements

    Identifiers