Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull?
Haverkort, Boudewijn R. (2011) Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull? In: 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, September 21-23, 2011, Aalborg, Denmark.
Restricted to UT campus only: Request a copy
|Abstract:||In this short paper I will address the question whether the methods and techniques we develop are applied well in industrial practice. To address this question, I will make a few observations from the academic field, as well as from industrial practice. This will be followed by a concise analysis of the cause of the perceived gap between the academic state-of-the-art and industrial practice. I will conclude with some opportunities for improvement.|
|Item Type:||Conference or Workshop Item|
|Copyright:||© 2011 Springer|
Electrical Engineering, Mathematics and Computer Science (EEMCS)
|Link to this item:||http://purl.utwente.nl/publications/78198|
|Export this item as:||BibTeX|
Daily downloads in the past month
Monthly downloads in the past 12 months
Repository Staff Only: item control page