"An automaton-theoretic approach to safety and security in real-time systems."

Ruggero Lanotte (2003)

Details and statistics

DOI:

access: closed

type: Book or Thesis

metadata version: 2023-05-06