Login / Signup

Translating AADL into BIP - Application to the Verification of Real-Time Systems.

Mohamed Yassin ChkouriAnne RobertMarius BozgaJoseph Sifakis
Published in: MoDELS (Workshops) (2008)
Keyphrases
  • real time systems
  • embedded systems
  • distributed systems
  • real time
  • object oriented
  • real time database systems
  • mission critical