Revisiting theArielTrough Work for HF Telecommunication Purposes
- 作者Y. Tulunay; I. Stanisławska; H. Rothkaehl
- 卷第41卷
- 期第4期
- 印刷ISSN0010-9525
- 电子ISSN1608-3075
- 文件大小150.62KB
- 发表时间2003-07
- DOI10.1023/a:1025093223687
- 页码319-331
Verified Java Bytecode Verification (Verified Java Bytecode Verification)Klein, Gerwin · it - Information Technology · 2005
Integrated Java Bytecode VerificationAndreas Gal; Christian W. Probst; Michael Franz · 2005
Bytecode verification on Java smart cardsXavier Leroy · 2002
Java Bytecode Verification: Algorithms and FormalizationsXavier Leroy · 2003
Checking secure information flow in Java bytecode by code transformation and standard bytecode verificationC. Bernardeschi; N. De Francesco; G. Lettieri; L. Martini · 2004
Improving the official specification of Java bytecode verificationAlessandro Coglio · 2003
Simple verification technique for complex Java bytecode subroutinesAlessandro Coglio · 2004
Verified lightweight bytecode verificationGerwin Klein; Tobias Nipkow · 2001
Equational reasoning in IsabelleTobias Nipkow · 1989
PrefaceStephan Merz; Tobias Nipkow · 2007
Verified bytecode verifiersGerwin Klein; Tobias Nipkow · 2003
Combining matching algorithms: The regular caseTobias Nipkow · 1991
Boolean unification — The story so farUrusula Martin; Tobias Nipkow · 1989
Unification in Boolean ringsUrsula Martin; Tobias Nipkow · 1988
Deduktion: von der Theorie zur AnwendungFranz Baader; Bernhard Beckert; Tobias Nipkow · 2010