首页> 外文OA文献 >Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods.

【2h】

Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods.

机译：基于Univery-Type的可变静态字段和方法的验证技术。

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
A. J. Summers; Sophia Drossopoulou; Peter Müller;
展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A review of finite element open boundary techniques for static and quasi-static electromagnetic field problems [J] . Qiushi Chen, Konrad A. IEEE Transactions on Magnetics . 1997,第1期

机译：静态和准静态电磁场问题的有限元开放边界技术综述
2. Reducing the verification cost of evolving product families using static analysis techniques [J] . Hamideh Sabouri, Ramtin Khosravi Science of Computer Programming . 2014,第APRa1期

机译：使用静态分析技术降低不断发展的产品系列的验证成本
3. Verification of Flag Usage Patterns by Static Analysis Techniques [J] . Amey Zare, Advaita Datar, Mitsuhiko Kikuchi, SAE International Journal of Passenger Cars - Electronic and Electrical Systems . 2014,第1期

机译：通过静态分析技术验证标志使用模式
4. VALIDATION AND VERIFICATION OF CEM FIELD PREDICTION TECHNIQUES COMPARED TO IR IMAGES OF EM FIELDS FOR COMPLEX SYSTEMS [C] . John Norgard, Andrew L. Drozd, Irina P. Kasperovich, Antenna Measurement Techniques Association Annual Meeting Symposium . 2006

机译：与复杂系统的EM字段IR图像相比，CEM现场预测技术的验证和验证
5. Novel techniques and phenomena in low-static field NMR and MRI detected with a SQUID. [D] . Lee, Seungkyun. 2005

机译：用SQUID检测到的低静电场NMR和MRI中的新技术和现象。
6. Novel Technique for Noninvasive Detection of Localized Dynamic Brain Signals by Using Transcranial Static Magnetic Fields [O] . Osamu Hiwaki 2021

机译：用经颅静态磁场进行局部动态脑信号的非侵入性检测的新技术
7. A Universe-Type-Based Verification Technique for Mutable Static Fields and Methods (Work in Progress) [O] . Summers A, Drossopoulou S, Müller P 2008

机译：基于宇宙类型的可变静态场和方法验证技术（在制品）
8. Cleaning Verification Monitor Technique Based on Infrared Optical Methods. [R] . Sickafoose, S., Ottesen, D., Scott, D., 2004

机译：基于红外光学方法的清洁验证监控技术。

Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods.

著录项

引文网络

相似文献

相关主题

期刊订阅