IS-DAAD-Forskerutveksl. Norge-Tyskland
Hybrid Systems Modeling and Analysis with Rewriting Techniques
The functionality of many modern advanced computer systems - such as
medical devices, control systems, embedded automotive and avionics systems, Internet protocols, etc. - is crucially dependent on the amount of time that passes during/between events. Su ch real-time systems are
often critical ...
