首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
Proceedings of the 4th International Workshop on Formal Aspects of Component Software ( FACS 2007) Preface
被引:0
|
作者
:
Lumpe, Markus
论文数:
0
引用数:
0
h-index:
0
Lumpe, Markus
Madelaine, Eric
论文数:
0
引用数:
0
h-index:
0
Madelaine, Eric
机构
:
来源
:
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
|
2008年
/ 215卷
关键词
:
D O I
:
10.1016/j.entcs.2008.06.017
中图分类号
:
TP301 [理论、方法];
学科分类号
:
081202 ;
摘要
:
引用
收藏
页码:1 / 3
页数:3
相关论文
共 50 条
[1]
Proceedings of the 5th International Workshop on Formal Aspects of Component Software (FACS 2008) Preface
Canal, Carlos
论文数:
0
引用数:
0
h-index:
0
Canal, Carlos
Pasareanu, Corina S.
论文数:
0
引用数:
0
h-index:
0
Pasareanu, Corina S.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE,
2010,
260
: 1
-
2
[2]
Special Issue on Selected papers of the 5th International Workshop on Formal Aspects of Component Software (FACS'08) Preface
Canal, Carlos
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Malaga, E-29071 Malaga, Spain
Univ Malaga, E-29071 Malaga, Spain
Canal, Carlos
Pasareanu, Corina S.
论文数:
0
引用数:
0
h-index:
0
机构:
Carnegie Mellon Univ, NASA Ames, Pittsburgh, PA 15213 USA
Univ Malaga, E-29071 Malaga, Spain
Pasareanu, Corina S.
SCIENCE OF COMPUTER PROGRAMMING,
2010,
75
(10)
: 809
-
810
[3]
Formal aspects of component software (FACS 2018) Preface
论文数:
引用数:
h-index:
机构:
Bae, Kyungmin
Olveczky, Peter Csaba
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Oslo, Oslo, Norway
Pohang Univ Sci & Technol, Pohang, South Korea
Olveczky, Peter Csaba
SCIENCE OF COMPUTER PROGRAMMING,
2020,
200
(200)
[4]
MSR 2007 4th International Workshop on Mining Software Repositories
Gall, Harald
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Zurich, Dept Informat, Zurich, Switzerland
Univ Zurich, Dept Informat, Zurich, Switzerland
Gall, Harald
Lanza, Michele
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Lugano, Fac Informat, Lugano, Switzerland
Univ Zurich, Dept Informat, Zurich, Switzerland
Lanza, Michele
Zimmermann, Thomas
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Saarland, Dept Informat, Saarbrucken, Germany
Univ Zurich, Dept Informat, Zurich, Switzerland
Zimmermann, Thomas
29TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: ICSE 2007 COMPANION VOLUME, PROCEEDINGS,
2007,
: 107
-
+
[5]
Formal Aspects of Component Software (FACS 2011 selected & extended papers) Preface
Arbab, Farhad
论文数:
0
引用数:
0
h-index:
0
机构:
CWI, Amsterdam, Netherlands
Leiden Univ, NL-2300 RA Leiden, Netherlands
CWI, Amsterdam, Netherlands
Arbab, Farhad
Olveczky, Peter Csaba
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Oslo, N-0316 Oslo, Norway
CWI, Amsterdam, Netherlands
Olveczky, Peter Csaba
SCIENCE OF COMPUTER PROGRAMMING,
2014,
83
: 1
-
2
[6]
Formal Aspects of Component Software (FACS'09)
Meng, Sun
论文数:
0
引用数:
0
h-index:
0
机构:
Peking Univ, Sch Math Sci, Beijing, Peoples R China
Peking Univ, Sch Math Sci, Beijing, Peoples R China
Meng, Sun
Schaetz, Bernhard
论文数:
0
引用数:
0
h-index:
0
机构:
Peking Univ, Sch Math Sci, Beijing, Peoples R China
Peking Univ, Sch Math Sci, Beijing, Peoples R China
Schaetz, Bernhard
SCIENCE OF COMPUTER PROGRAMMING,
2012,
78
(01)
: 1
-
2
[7]
PROCEEDINGS OF THE 4TH INTERNATIONAL WORKSHOP ON LOBSTER BIOLOGY AND MANAGEMENT, 1993 - PREFACE
不详
论文数:
0
引用数:
0
h-index:
0
不详
CRUSTACEANA,
1994,
66
: 257
-
257
[8]
Formal Aspects of Component Software (FACS 2010 selected and extended papers) Preface
Barbosa, Luis Soares
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Minho, P-4719 Braga, Portugal
Univ Minho, P-4719 Braga, Portugal
Barbosa, Luis Soares
Lumpe, Markus
论文数:
0
引用数:
0
h-index:
0
机构:
Swinburne Univ Technol, Hawthorn, Vic 3122, Australia
Univ Minho, P-4719 Braga, Portugal
Lumpe, Markus
SCIENCE OF COMPUTER PROGRAMMING,
2014,
94
: 253
-
254
[9]
Formal Aspects of Component Software (FACS 2013)
Fiadeiro, Jose Luiz
论文数:
0
引用数:
0
h-index:
0
机构:
Royal Holloway Univ London, Egham, Surrey, England
Royal Holloway Univ London, Egham, Surrey, England
Fiadeiro, Jose Luiz
Liu, Zhiming
论文数:
0
引用数:
0
h-index:
0
机构:
Southwest Univ, Chongqing, Peoples R China
Royal Holloway Univ London, Egham, Surrey, England
Liu, Zhiming
SCIENCE OF COMPUTER PROGRAMMING,
2015,
113
: 221
-
222
[10]
Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017) Preface
Proenca, Jose
论文数:
0
引用数:
0
h-index:
0
机构:
Polytech Inst Porto, Porto, Portugal
INESC TEC, Porto, Portugal
Polytech Inst Porto, Porto, Portugal
Proenca, Jose
Lumpe, Markus
论文数:
0
引用数:
0
h-index:
0
机构:
Swinburne Univ Tech, Hawthorn, Vic, Australia
Polytech Inst Porto, Porto, Portugal
Lumpe, Markus
SCIENCE OF COMPUTER PROGRAMMING,
2022,
218
←
1
2
3
4
5
→