Applications of formal methods to system design and verification - J. UCS special issue

被引：0
|
作者：
Arbab, Farhad [1 ]
Sirjani, Marjan [2 ,3 ]
机构：
[1] Leiden Univ, NL-2300 RA Leiden, Netherlands
[2] Univ Tehran, Tehran 14174, Iran
[3] IPM, Tehran, Iran
来源：
JOURNAL OF UNIVERSAL COMPUTER SCIENCE | 2007年 / 13卷 / 13期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：1970 / 1971
页数：2
相关论文
共 50 条
  • [31] Cryptography in computer system security J.UCS special issue
    Chen, Liqun
    Dawson, Ed
    Lai, Xuejie
    Mambo, Masahiro
    Miyaji, Atsuko
    Mu, Yi
    Pointcheval, David
    Preneel, Bart
    Smart, Nigel
    Susilo, Willy
    Wang, Huaxiong
    Wong, Duncan S.
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (03) : 314 - 317
  • [32] Distributed Development of Information System J.UCS Special Issue
    Mishra, Alok
    Munch, Jurgen
    Mishra, Deepti
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2012, 18 (19) : 2599 - 2601
  • [33] Modern technologies for Web-based adaptive systems - J. UCS Special Issue
    Nguyen, NT
    Sobecki, J
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2005, 11 (02) : 210 - 212
  • [34] Recent Advancements in Big Data Technologies and Applications in Computing, IoT and Computer Engineering Technology J. UCS Special Issue
    Man, Ka Lok
    Liu, Ou
    Hughes, Danny
    Lu, Chao
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2018, 24 (09) : 1151 - 1152
  • [35] Knowledge Intensive Software Engineering Applications J.UCS Special Issue
    Mejia, Jezreel
    Valencia-Garcia, Rafael
    Alor-Hernandez, Giner
    Calvo-Manzano, Jose A.
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2021, 27 (02) : 87 - 90
  • [36] Mobile Learning and Instructional Mobile Applications J.UCS Special Issue
    Uzunboylu, Huseyin
    Gide, Ergun
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2017, 23 (12) : 1109 - 1112
  • [37] J.UCS Special Issue on Compiler Optimization meets Compiler Verification (COCV 2002)
    Knoop, J
    Zimmermann, W
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, 9 (03): : 189 - 190
  • [38] Methods and applications of magnetic anisotropy: A special issue in recognition of the career of Graham J. Borradaile
    Almqvist, Bjarne S.G., 1600, Elsevier (629):
  • [39] Methods and applications of magnetic anisotropy: A special issue in recognition of the career of Graham J. Borradaile
    Almqvist, Bjarne S. G.
    Henry, Bernard
    Jackson, Michael J.
    Werner, Tomasz
    Lagroix, France
    TECTONOPHYSICS, 2014, 629 : 1 - 5
  • [40] Trusted Computing J.UCS Special Issue
    Lipp, Peter
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2010, 16 (04) : 506 - 506
12345