Titlebook: Static Analysis; 20th International S Francesco Logozzo,Manuel F?hndrich Conference proceedings 2013 Springer-Verlag Berlin Heidelberg 2013

異國

書目名稱Static Analysis影響因子(影響力)




書目名稱Static Analysis影響因子(影響力)學科排名




書目名稱Static Analysis網(wǎng)絡公開度




書目名稱Static Analysis網(wǎng)絡公開度學科排名




書目名稱Static Analysis被引頻次




書目名稱Static Analysis被引頻次學科排名




書目名稱Static Analysis年度引用




書目名稱Static Analysis年度引用學科排名




書目名稱Static Analysis讀者反饋




書目名稱Static Analysis讀者反饋學科排名

restrain

為敵

Raghavan Komondooreder soweit nachgeregelt, bis die Regelabweichung praktisch Null wird. Die Ausregelung orientiert sich immer nach dem Sollwert?w, der sogenannten Referenzspannungsquelle. Sie wird im einfachsten Fall durch eine Z‐Diode realisiert. Jedes spannungsstabilisierte Netzger?t ben?tigt eine Spannungsreferen

半圓鑿

Veselin Raychev,Martin Vechev,Eran Yahavxis aufbaut. Das erlaubt Entscheidungen darüber, ob in einer Schaltung ?nderungen hinsichtlich Bauteil‐ und Funktionstoleranzen sinnvoll sind. So k?nnten beispielsweise preiswertere Operationsverst?rker bei gleicher oder ?hnlicher Funktionstüchtigkeit eingesetzt werden. Das alles, ohne je ein Bautei

OVER

小說

Stable-Angina

聯(lián)合

Witnessing Program Transformations, invariant of a source program can be turned into an invariant of the target of a transformation by suitably composing it with its witness. Stuttering simulations readily compose, forming a single witness for a sequence of transformations. Witness generation is simpler than a formal proof of correct

充滿裝飾

灌輸

Andrei Marian Dan,Yuri Meshman,Martin Vechev,Eran Yahav