DMCA
EU ESPRIT-LTR Project (26270) Verification of Hybrid Systems (VHS) VHS Case Study 4 Verification and Control of a Juice Processing Plant Intermediate Report
by
Jeroen Fey Riedel
,
Jeroen J. H. Fey
,
Riedel Drankenindustrie
BibTeX
@MISC{Riedel_euesprit-ltr,
author = {Jeroen Fey Riedel and Jeroen J. H. Fey and Riedel Drankenindustrie},
title = {EU ESPRIT-LTR Project (26270) Verification of Hybrid Systems (VHS) VHS Case Study 4 Verification and Control of a Juice Processing Plant Intermediate Report},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This report is to be extended in the second year of the project.
