Login / Signup
Facilitating Automated Compliance Checking in the Safety-critical Context.
Julieth Patricia Castellanos Ardila
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2018)
Keyphrases
</>
safety critical
regulatory requirements
context sensitive
fault tolerant
embedded systems
safety analysis
agent architecture
real time
artificial intelligence
information systems
software engineering
open source
formal methods