DaftarIsitemplate

Call Number

SEM-253

Title

Modelling and formal analysis of an aircraft landing gear system, Hal. 239-246

Author

Simin Nadjm-Tehrani; Jan-Erik Stromberg;

Publisher

Second European workshop on-real-time and hybrid systems wednesday May, 31, Thurday June 1st and Friday June 2nd 1995

Subject

Location