𝔖 Bobbio Scriptorium

✦ LIBER ✦

A Java Card CAP converter in PVS

✍ Scribed by Thomas Genet; Thomas Jensen; Vikash Kodati; David Pichardie

Book ID: 104445852
Publisher: Elsevier Science
Year: 2004
Tongue: English
Weight: 177 KB
Volume: 82
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)82601-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Towards Verification of Well-Formed Tran

Towards Verification of Well-Formed Transactions in Java Card Bytecode

✍ René Rydhof Hansen; Igor A. Siveroni 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 337 KB

Light-Generated Effects on Power Switche

Light-Generated Effects on Power Switches Used in a Planar PV Power System With Monolithically Embedded Power Converters

✍ Imtiaz, Abusaleh M.; Khan, Faisal H. 📂 Article 📅 2013 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 960 KB

[IEEE 2012 International Symposium on In

[IEEE 2012 International Symposium on Innovations in Intelligent Systems and Applications (INISTA) - Trabzon, Turkey (2012.07.2-2012.07.4)] 2012 International Symposium on Innovations in Intelligent Systems and Applications - A fuzzy-logic controlled PV powered buck-boost DC-DC converter for Battery-Load system

✍ Sahin, Mustafa Ergin; Okumus, Halil Ibrahim 📂 Article 📅 2012 🏛 IEEE ⚖ 213 KB

[IEEE 2012 International Conference on E

[IEEE 2012 International Conference on Emerging Trends in Science, Engineering and Technology (INCOSET) - Tiruchirappalli, Tamilnadu, India (2012.12.13-2012.12.14)] 2012 International Conference on Emerging Trends in Science, Engineering and Technology (INCOSET) - Design, cost estimation and simulation of a standalone PV power generation system using interleaved converter

✍ Manimekalai, P.; Harikumar, R. 📂 Article 📅 2012 🏛 IEEE ⚖ 336 KB

[IEEE 2012 IEEE Energy Conversion Congre

[IEEE 2012 IEEE Energy Conversion Congress and Exposition (ECCE) - Raleigh, NC, USA (2012.09.15-2012.09.20)] 2012 IEEE Energy Conversion Congress and Exposition (ECCE) - Modeling and controller design for a four-switch buck-boost converter in distributed maximum power point tracking PV system applications

✍ Chen, Cheng-Wei; Chen, Kun-Hung; Chen, Yaow-Ming 📂 Article 📅 2012 🏛 IEEE ⚖ 865 KB