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.
Go to the contact details of the person in charge of this page
| ||Deutsch |
This page in german. Diese Seite auf deutsch.