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 条

[41] Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2021) Preface
Campos, Sergio
Minea, Marius
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2023, 230
[42] Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014)
Lang, Frederic
Flammini, Francesco
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2016, 118 : 1 - 2
[43] Preface of the special issue on the conference on formal methods in computer aided design 2018
Bjorner, Nikolaj
Gurfinkel, Arie
[J]. FORMAL METHODS IN SYSTEM DESIGN, 2021, 57 (02) : 119 - 120
[44] Proceedings Quantities in Formal Methods Paris, France, 28 August 2012 Preface
Fahrenberg, Uli
Legay, Axel
Thrane, Claus
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (103):
[45] Preface - Selected papers from the 23rd Brazilian Symposium on Formal Methods - SBMF 2020 Preface
Carvalho, Gustavo
Stolz, Volker
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2022, 220
[46] A FORMAL MODEL FOR LEARNING OBJECTS
Perez-Lezama, Claudia V.
Alfredo Sanchez, J.
[J]. EDULEARN10: INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, 2010, : 15 - 24
[47] Holomorphic extensions of formal objects
Ribón, J
[J]. ANNALI DELLA SCUOLA NORMALE SUPERIORE DI PISA-CLASSE DI SCIENZE, 2004, 3 (04) : 657 - 680
[48] Intentionality, knowledge and formal objects
Mulligan, Kevin
[J]. DISPUTATIO-INTERNATIONAL JOURNAL OF PHILOSOPHY, 2007, 2 (23): : 205 - 228
[49] Formal Components of Narratives
Bartalesi, Valentina
Meghini, Carlo
[J]. DIGITAL LIBRARIES AND MULTIMEDIA ARCHIVES, 2017, 701 : 112 - 121
[50] Preface of the special issue on the Conference on Formal Methods in Computer-Aided Design 2017
Stewart, Daryl
Weissenbacher, Georg
[J]. FORMAL METHODS IN SYSTEM DESIGN, 2021, 57 (03) : 303 - 304

← 1 2 3 4 5 →