Login / Signup

Synthesis of Non-Interferent Timed Systems.

Gilles BenattarFranck CassezDidier LimeOlivier H. Roux
Published in: FORMATS (2009)
Keyphrases
  • data sets
  • databases
  • information systems
  • distributed systems
  • software engineering
  • complex systems