Formal modeling and analysis of timed systems Technology push or market pull
conference paper
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.
Topics
TNO Identifier
954252
ISSN
03029743
ISBN
9783642243
Publisher
Springer
Source title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, 21 September 2011 through 23 September 2011
Pages
18-24
Files
To receive the publication files, please send an e-mail request to TNO Repository.