Sorry, we do not have enough data to show an influence graph for this author.
- Full text PDF available (0)
- This year (0)
- Last 5 years (0)
- Last 10 years (0)
Journals and Conferences
Hera is a model-driven methodology for designing Web information systems. In the past a CASE tool for the Hera methodology was implemented. This software had different components that together form… (More)
This paper surveys some new tools and methods for formally verifying time performance properties of systems that satisfy timing assumptions. The techniques are potentially of practica! benefit in the… (More)