“CAST”是“Computing And Systems Technology”的缩写，

12.01 -

“TEDS”是“Technical Education Database System”的缩

12.01 -

“HASL”是“High Assurance Software Laboratory”的缩写

12.01 -

“MITA”是“Mobile Internet Technical Architecture”的

12.01 -

“SVRC”是“Software Verification Research Centre”的

12.01 -

“HLC”是“High Level Client”的缩写，意思是“高级客户端

12.01 -

“EMED”是“Erbyeye Movement Equipment Database”的缩

12.01 -

“HACCP”是“Hazard Analysis and Critical Control

12.01 -

“ENIAC”是“Electronic Numerical Integrator And

12.01 -

“ARIN”是“American Registry For Internet Numbers”的

12.01 -