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. © 2011 Springer-Verlag.
CITATION STYLE
Haverkort, B. R. (2011). Formal modeling and analysis of timed systems: Technology push or market pull? In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6919 LNCS, pp. 18–24). https://doi.org/10.1007/978-3-642-24310-3_2
Mendeley helps you to discover research relevant for your work.