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)

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.

Business & Economics