The FOREST product model provides a general reference model for problem specifications, which comprise all information about which system to be built. The product model also defines the FOREST document types as instantiations of the reference model for reactive systems that is based on a real-time temporal logic and the structuring concepts modularization, aggregation, inheritance, and parameterization.

	Reference Model
	Document Types

 

---

	Superordinated page: Overview

	Feedback
	Go to the contact details of the person in charge of this page

	Deutsch
	This page in german. Diese Seite auf deutsch.