Overview and Headlines
Exercises J20
Evaluating Criteria
Overall Model
Cell Model
Avionic Model
Engine Model
Function Behavior
A Requirements
B Requirements
Email: moffetta@itim.unige.it
Home Page: http://st.itim.unige.it/iepal
Info: A.G. Bruzzone, M.Genovese DIP, University of Genoa, via Opera Pia 15, 16145 Genova - Italy, Tel +39 010 353 2883, Fax +39 010 317 750