Formal Methods in System Design: Guest editorial

被引：0

作者：

Naval Research Laboratory, Washington, DC, United States ^{[1
]}

不详 ^{[2
]}

机构：

来源：

Formal Methods Syst Des | 2007年 / 1卷 / 1-3期

关键词：

D O I：

10.1007/s10703-006-0018-x

中图分类号：

学科分类号：

摘要：

No abstract available

引用

共 50 条

[31] Guest Editorial: Energy Optimization Methods
Yuri Boykov
Fredrik Kahl
Victor Lempitsky
Frank R. Schmidt
International Journal of Computer Vision, 2013, 104 : 221 - 222
[32] Guest Editorial: Energy Optimization Methods
Boykov, Yuri
Kahl, Fredrik
Lempitsky, Victor
Schmidt, Frank R.
INTERNATIONAL JOURNAL OF COMPUTER VISION, 2013, 104 (03) : 221 - 222
[33] FORMAL METHODS FOR DESIGN
MUSGRAVE, G
IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 710 - 710
[34] Guest Editorial: Technology Supported Assessment in Formal and Informal Learning
Garcia Laborda, Jesus
Sampson, Demetrios G.
Hambleton, Ronald K.
Guzman, Eduardo
EDUCATIONAL TECHNOLOGY & SOCIETY, 2015, 18 (02): : 1 - 2
[35] Guest editorial structural design optimization
Liang, Qing Quan
ADVANCES IN STRUCTURAL ENGINEERING, 2007, 10 (06) : I - II
[36] Guest Editorial: Electronic Design for Quality
Tuna B. Tarim
Analog Integrated Circuits and Signal Processing, 2003, 37 : 71 - 71
[37] Guest editorial: Electronic design for quality
Tarim, TB
ANALOG INTEGRATED CIRCUITS AND SIGNAL PROCESSING, 2003, 37 (02) : 71 - 71
[38] Guest Editorial: Innovation in Design Processes
Eckert, Claudia
Luo, Jianxi
IEEE TRANSACTIONS ON ENGINEERING MANAGEMENT, 2022, 69 (04) : 1532 - 1536
[39] Guest editorial for the special issue from the 18th Brazilian Symposium on Formal Methods (SBMF 2015)
Cornelio, M. L.
Roscoe, A. W.
SCIENCE OF COMPUTER PROGRAMMING, 2019, 181 : 82 - 83
[40] Guest Editorial: Design Management for Sustainability
Emmitt, Stephen
ARCHITECTURAL ENGINEERING AND DESIGN MANAGEMENT, 2009, 5 (1-2) : 3 - 4

← 1 2 3 4 5 →