Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.

  

Modellistica e algoritmi per la verifica formale di sistemi ibridi

Author(s):

F.D. Torrisi
Conference/Journal:

ETH Zürich, Diploma Thesis at the Automatic Control Laboratory.
Abstract:



Further Information
Year:

1999
Type of Publication:

(12)Diploma/Master Thesis
Supervisor:

M. Morari

No Files for download available.
% Autogenerated BibTeX entry
@PhdThesis { Xxx:1999:IFA_579
}
Permanent link