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 条

[41] J. UCS special issue - I-KNOW '03 - Hot spots in knowledge management
Tochtermann, K
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, 9 (06) : 447 - 450
[42] Internet of Things J.UCS Special Issue
Zhang, Daqiang
Ning, Huansheng
Xu, Kevin S.
Lin, Feiyu
Yang, Laurence T.
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2012, 18 (09) : 1069 - 1071
[43] Evolvable hardware - J.UCS special issue
Nedjah, Nadia
Mourelle, Luiza de Macedo
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2006, 12 (04) : 367 - 369
[44] Cloud Computing J.UCS Special Issue
Taniar, David
Khalil, Ismail
Pardede, Eric
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2011, 17 (08) : 1134 - 1134
[45] Data streams - J.UCS special issue
Aguilar-Ruiz, JS
Gama, J
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2005, 11 (08) : 1349 - 1352
[46] Communicative intelligence - J.UCS special issue
Nguyen, Ngoc Thanh
Nishida, T.
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2007, 13 (02) : 133 - 134
[47] Industrial and Business Applications of Semantic Web Technologies J.UCS Special Issue
Colomo-Palacios, Ricardo
Moser, Thomas
Valencia-Garcia, Rafael
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2013, 19 (13) : 1868 - 1870
[48] Advances and trends in automata and formal languages a collection of papers in honour of the 60th birthday of Helmut Jurgensen - J. UCS special issue
Calude, CS
Salomaa, K
Yu, S
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2002, 8 (02): : 117 - 118
[49] Formal Aspects of Software Engineering -: J.UCS Special Issue in Honor of Professor Peter!Lucas
Aichernig, BK
Fröhlich, B
Kerschbaumer, A
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (08): : 629 - 630
[50] Preface to the special issue on Formal Methods: Foundations and Applications Preface
Massoni, Tiago
Mousavi, Mohammad
SCIENCE OF COMPUTER PROGRAMMING, 2021, 205

← 1 2 3 4 5 →