Yazar
victor a carreno
4 cilt bulundu.
Cilt sonuçları
Analog-digital simulation of transient-induced logic errors and upset susceptibility of an advanced control system
Victor A. Carreno · National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Division
10 sayfa · 1990
Errors / Avionics / Digital simulation / Latch-up / Error analysis
Interpretation of IEEE-854 floating-point standard and definition in the HOL system
Victor A. Carrenõ · National Technical Information Service, distributor
Sayfa sayısı yok · 1995
Kategori yok
A case study for the real-time experimental evaluation of the VIPER microprocessor
Victor A. Carreño · National Technical Information Service [distributor]
Sayfa sayısı yok · 1991
Microprocessors / Programming
Theorem Proving in Higher Order Logics
Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar · Springer London, Limited
Sayfa sayısı yok · 2003
Kategori yok