[IEEE 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Auckland, New Zealand (2007.07.11-2007.07.14)] 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - On-the-fly model checking for C programs with extended CADP in FMICS-jETI
- 作者Gallardo, Maria del Mar; Merino, Pedro; Joubert, Christophe; Sanan, David
- 文件大小271.63KB
- 发表时间2007
- DOI10.1109/iceccs.2007.32
- 页码321-329
Micronewton electromagnetic thrusterCharrier, D. S. H. · Applied Physics Letters · 2012
Electrowetting control of bouncing jetsNoblin, Xavier; Celestini, Franck · Applied Physics Letters · 2012
Microstructural heterogeneity and dynamic shear localizationOsovski, S.; Rittel, D. · Applied Physics Letters · 2012
Quantum-secured imagingMalik, Mehul; Magaña-Loaiza, Omar S.; Boyd, Robert W. · Applied Physics Letters · 2012
Graphene-based ferromagnetic superconductorsVahid Hosseini, Mir; Zareyan, Malek · Applied Physics Letters · 2012
Dual electrode cantilevers for ohmic microscopyIgnatowitz, Markus; Oesterschulze, Egbert · Applied Physics Letters · 2012
Superradiant Raman laser magnetometerWeiner, Joshua M.; Cox, Kevin C.; Bohnet, Justin G.; Chen, Zilong; Thompson, James K. · Applied Physics Letters · 2012
Yb3+Er3+ GLASS LASERSnitzer, E.; Woodcock, R. · Applied Physics Letters · 1965