Syed Suhaib, Deepak Mathaikutty, David Berner, Sandeep Shukla. XFM :An Incremental Methodology for Developing Formal Models. ACM Transactions on Design Automation of Electronic Systems (TODAES) Special Issue on Validation of Large Systems, Octobre 2005.
@article{todaes05,
Author = {Suhaib, Syed and Mathaikutty, Deepak and Berner, David and Shukla, Sandeep},
Title = {XFM :An Incremental Methodology for Developing Formal Models},
Journal = {ACM Transactions on Design Automation of Electronic Systems (TODAES) Special Issue on Validation of Large Systems},
Month = {October},
Year = {2005}
}
Charger la référence EndNote (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.