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 条

[21] CSCWD: New Applications and Challenges J.UCS Special Issue
Borges, Marcos R. S.
Pino, Jose A.
Shen, Weiming
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2011, 17 (14) : 1884 - 1886
[22] Semantic Web: Theory and Applications J.UCS Special Issue
Granitzer, Michael
Lindstaedt, Stefanie
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2011, 17 (07) : 981 - 982
[23] (Virtual) communities of practice within modern organizations - J. UCS Special Issue
Lindstaedt, SN
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2004, 10 (03) : 158 - 161
[24] Computational Science and its Applications J.UCS Special Issue
Gervasi, Osvaldo
Tan, Kenneth
Gavrilova, Marina
Taniar, David
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2010, 16 (06) : 889 - 890
[25] Formal specifications of computer-based systems -: J.UCS Special Issue
Dvorák, V
Sveda, M
Rattray, C
Rozenblit, JW
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, 9 (11) : 1258 - 1260
[26] Formal Specification of Computer-Based Systems - J.UCS special issue
Sveda, M
Rattray, C
Rozenblit, J
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2004, 10 (10) : 1354 - 1356
[27] Interaction Design in Educational Environments J.UCS Special Issue
Mashat, Abdulfattah S.
Fardoun, Habib M.
Gallud, Jose A.
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2013, 19 (07) : 851 - 853
[28] Preface for the formal methods in system design special issue on SYNT 2021
Polgreen, Elizabeth
Perez, Guillermo Alberto
FORMAL METHODS IN SYSTEM DESIGN, 2022, 61 (2-3) : 137 - 138
[29] Guest Editorial: Special Issue on Formal Methods and Models for System Design
Leonard, Elizabeth
Heitmeyer, Constance
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2018, 17 (02)
[30] Preface for the formal methods in system design special issue on SYNT 2021
Elizabeth Polgreen
Guillermo Alberto Perez
Formal Methods in System Design, 2022, 61 : 137 - 138

← 1 2 3 4 5 →