next up previous contents index FOREST_HomepageFOREST_Example_Homepage
Next: Contents

Problem Specification of a System for the Light Control in a Floor of a Building of the University of Kaiserslautern





Martin Kronenburg

Research Group Formal Methods and Deduction

kronburg@informatik.uni-kl.de






Christian Peper

Research Group Computer Networks

peper@informatik.uni-kl.de




University of Kaiserslautern



June 10, 1999



 

Forest-System
1999-06-10