Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull?

Boudewijn R.H.M. Haverkort, Uli Fahrenberg (Editor), Stavros Tripakis (Editor)

Research output: Other contribution

2 Citations (Scopus)

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.
Original languageEnglish
PublisherSpringer Verlag
Number of pages7
Place of PublicationHeidelberg
ISBN (Print)978-3-642-24309-7
DOIs
Publication statusPublished - Sep 2011
Externally publishedYes

Keywords

  • METIS-278847
  • EWI-20619
  • IR-78198

Fingerprint Dive into the research topics of 'Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull?'. Together they form a unique fingerprint.

  • Cite this