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

✍ Scribed by Hazra, Aritra; Ghosh, Priyankar; Vadlamudi, S. G.; Chakrabarti, P. P.; Dasgupta, Pallab

• Book ID: 120656784
• Publisher: Institute of Electrical and Electronics Engineers
• Year: 2013
• Tongue: English
• Weight: 912 KB
• Volume: 5
• Category: Article
• ISSN: 1943-0663
• DOI: 10.1109/LES.2013.2239605