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 条
  • [1] J. UCS special issue on tools for system design and verification
    Berghammer, R
    Haneberg, D
    Reif, W
    Schellhorn, G
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, 9 (02): : 86 - 87
  • [2] Tuning SAT for formal verification and testing - J. UCS Special Issue
    Velev, MN
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2004, 10 (12) : 1559 - 1561
  • [3] Formal Concept Analysis: Theory and applications - J. UCS Special Issue
    Ganter, B
    Stumme, G
    Wille, R
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2004, 10 (08) : 926 - 926
  • [4] J.UCS Special Issue on Tools for System Design and Verification - Part 2
    Reif, W
    Schellhorn, G
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (02): : 105 - 106
  • [5] J.UCS special issue on tools for system design and verification - Part 1
    Reif, W
    Schellhorn, G
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (01): : 1 - 2
  • [6] Software Adaptation J. UCS Special Issue
    Canal, Carlos
    Manuel Murillo, Juan
    Poizat, Pascal
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (13) : 2107 - 2109
  • [7] J. UCS special issue on spatial and temporal reasoning
    Guesgen, HW
    Anger, FD
    Ligozat, G
    Rodr'iguez, RV
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2002, 8 (08): : 737 - 738
  • [8] Lisp: Research and Experience J. UCS Special Issue
    Leitao, Antonio Menezes
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2010, 16 (02) : 218 - 220
  • [9] Enterprise Information Systems J. UCS Special Issue
    Varajao, Joao
    Martinho, Ricardo
    Soto Acosta, Pedro
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2014, 20 (06) : 822 - 825
  • [10] Atomicity in system design and execution (Proceedings of Dagstuhl-Seminar 04181) - J. UCS Special Issue
    Burton, J
    Jones, CB
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2005, 11 (05) : 634 - 635
12345