Deep search:Searching for "Model checking" in 'KEYWORDGot 3 items.
index Title
1Towards automated software model checking using graph transformation systems and Bogor
Author(s):Vahid RAFE, Adel T. RAHMANI  Clicked:5695  Download:3463  Cited:2  <Full Text>
Journal of Zhejiang University Science A  2009 Vol.10 No.8 P.1093-1105  DOI:10.1631/jzus.A0820415
2Equality detection for linear arithmetic constraints
Author(s):Li LI, Kai-duo HE, Ming GU, Xiao-y...  Clicked:4713  Download:2645  Cited:1  <Full Text>
Journal of Zhejiang University Science A  2009 Vol.10 No.12 P.1784-1789  DOI:10.1631/jzus.A0820812
3Fairness analysis of extra-gain guilty of a non-repudiation protocol
Author(s):Xu GUO  Clicked:2235  Download:1914  Cited:0  <Full Text>  <PPT> 223
Frontiers of Information Technology & Electronic Engineering  2022 Vol.23 No.6 P.893-908  DOI:10.1631/FITEE.2100413
Journal of Zhejiang University-SCIENCE, 38 Zheda Road, Hangzhou 310027, China
Tel: +86-571-87952783; E-mail: cjzhang@zju.edu.cn
Copyright © 2000 - 2024 Journal of Zhejiang University-SCIENCE