Login / Signup
Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications.
Aritra Hazra
Priyankar Ghosh
Satya Gautam Vadlamudi
P. P. Chakrabarti
Pallab Dasgupta
Published in:
IEEE Embed. Syst. Lett. (2013)
Keyphrases
</>
formal methods
formal analysis
database
case study
multi agent
software engineering
software systems
reliability analysis