Login / Signup

Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications.

Aritra HazraPriyankar GhoshSatya Gautam VadlamudiP. P. ChakrabartiPallab Dasgupta
Published in: IEEE Embed. Syst. Lett. (2013)
Keyphrases
  • formal methods
  • formal analysis
  • database
  • case study
  • multi agent
  • software engineering
  • software systems
  • reliability analysis