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网络公开度




书目名称Static Analysis网络公开度学科排名




书目名称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

联合

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