Azzouz Benzekri

Learn More
This works is in keeping with the extension of Z so as to deal with the speciication and design of real-time safety-critical systems. The Z speciication language has been found useful for specifying large commercial systems, but is weak in its ability to deal with complex features of real-time systems such as concurrency, synchronization between processes(More)
This paper describes the design and implementation of a low-cost multi-mode control for an irrigation system built around a personal computer (PC). The system uses in-situ soil water potential measurements, the weather condition parameters and the set points data provided by the user to decide when and how much water to apply to the irrigated field. The(More)
  • 1