Formal Methods for Components and Objects - Preface

被引：0

作者：

de Boer, F ^{[1
]}

机构：

[1] CWI, NL-1098 GB Amsterdam, Netherlands

来源：

THEORETICAL COMPUTER SCIENCE | 2005年 / 343卷 / 03期

关键词：

D O I：

10.1016/j.tcs.2005.06.011

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：283 / 284

页数：2

共 50 条

[1] Formal Methods for Components and Objects - Preface
de Boer, Frank
Bonsangue, Marcello
[J]. THEORETICAL COMPUTER SCIENCE, 2006, 365 (1-2) : 1 - 1
[2] Formal methods for components and objects - Preface
de Boer, F
Bonsangue, M
[J]. THEORETICAL COMPUTER SCIENCE, 2005, 331 (2-3) : 249 - 250
[3] Special Issue on Formal Methods for Components and Objects Pragmatic Aspects and Applications - Preface
de Boer, F
Bonsangue, M
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2005, 55 (1-3) : 1 - 2
[4] Preface for the formal methods in system design special issue on ‘Formal Methods 2021’
Marieke Huisman
Corina S. Păsăreanu
Naijun Zhan
[J]. Formal Methods in System Design, 2022, 61 : 1 - 2
[5] Preface for the formal methods in system design special issue on 'Formal Methods 2021'
Huisman, Marieke
Pasareanu, Corina S.
Zhan, Naijun
[J]. FORMAL METHODS IN SYSTEM DESIGN, 2022, 61 (01) : 1 - 2
[6] Preface to the special issue on Formal Methods: Foundations and Applications Preface
Massoni, Tiago
Mousavi, Mohammad
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2021, 205
[7] Special Issue: Formal Methods in Aerospace Preface
Bujorianu, Manuela
Fisher, Michael
Pasareanu, Corina
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2011, 63 (01) : 1 - 3
[8] Preface: Applications of Formal Methods and Digital Twins
Hallerstede, Stefan
Kamburjan, Eduard
[J]. CEUR Workshop Proceedings, 2023, 3507
[9] Formal methods for fuzzy modeling and control - Preface
de Oliveira, JV
Gomide, F
[J]. FUZZY SETS AND SYSTEMS, 2001, 121 (01) : 1 - 2
[10] Discussing the Formal Components of Material Objects: A New Reply to Bennett
Solis, Adrian
[J]. METAPHYSICA-INTERNATIONAL JOURNAL FOR ONTOLOGY & METAPHYSICS, 2024, 25 (01): : 145 - 162

← 1 2 3 4 5 →