Hard, Soft, Real-Time Systems and Their Use

  • Helmut Rzehak
Conference paper
Part of the NATO ASI Series book series (NATO ASI F, volume 127)


A slightly modified definition of Lawson, which I would like to call “strong predictability” is:

In a time interval from ti to tj the exact behaviour can be reproduced from the externally observable state existing at ti.



Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Helmut Rzehak
    • 1
  1. 1.University of the Federal Armed Forces MunichNeubibergGermany

Personalised recommendations