Login / Signup

Towards Safe Design of Synchronous Bus Protocols in Event-B.

Ricardo Bedin FrançaLeandro Buss BeckerJean-Paul BodeveixJean-Marie FarinesMamoun Filali
Published in: SBMF (2009)
Keyphrases
  • user interface
  • optimal design
  • building blocks
  • design process
  • real time
  • neural network
  • machine learning
  • search engine
  • information systems
  • multi agent
  • video sequences
  • design space