Login / Signup

Verifying Sequence and Content for Safety Critical Hypermedia Systems.

R. M. Newman
Published in: EUROMICRO (2000)
Keyphrases
  • hypermedia systems
  • safety critical
  • formal methods
  • multimedia
  • fault tolerant
  • nuclear power plant
  • embedded systems
  • safety analysis
  • metadata
  • agent architecture
  • real time
  • model checking