Formal techniques for networked and distributed systems -- FORTE 2003. 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29 -- October 2, 2003. Proceedings
type: Item
instance of: scholarly article
title: Formal techniques for networked and distributed systems -- FORTE 2003. 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29 -- October 2, 2003. Proceedings
zbMATH Open document ID: 1027.00033
published in: Lecture Notes in Computer Science
publication date: 2003-12-04T00:00:00Z
full work available at URL: t2767.htm
review text: The articles of this volume will be reviewed individually. The preceding workshop has been reviewed (see Zbl 1007.00057). Indexed articles: \textit{Broy, Manfred}, Service-oriented systems engineering: modeling services and layered architectures, 48-61 [Zbl 1279.68063] \textit{Carrez, Cyril; Fantechi, Alessandro; Najm, Elie}, Behavioural contracts for a sound assembly of components, 111-126 [Zbl 1279.68025] \textit{Robinson, Peter; Shankland, Carron}, Combating infinite state using Ergo, 144-159 [Zbl 1279.68266] \textit{Wang, Farn; Hwang, Geng-Dian; Yu, Fang}, Numerical coverage estimation for the symbolic simulation of real-time systems, 160-176 [Zbl 1279.68224] \textit{Beyer, Dirk; Noack, Andreas}, Can decision diagrams overcome state space explosion in real-time verification?, 193-208 [Zbl 1279.68196] \textit{Cibario Bertolotti, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano}, Introducing commutative and associative operators in cryptographic protocol analysis, 224-239 [Zbl 1279.94066] \textit{Fecko, Mariusz A.; Uyar, M. Ümit; Duale, Ali Y.}, Towards testing SDL specifications: models and fault coverage for concurrent timers, 273-288 [Zbl 1279.68208] \textit{Hierons, Robert M.; Ural, Hasan}, Concerning the ordering of adaptive test sequences, 289-302 [Zbl 1279.68027] \textit{Netravali, Arun N.; Sabnani, Krishan K.; Viswanathan, Ramesh}, Correct passive testing algorithms and complete fault coverage, 303-318 [Zbl 1279.68028] \textit{Núñez, Manuel; Rodríguez, Ismael}, Towards testing stochastic timed systems, 335-350 [Zbl 1279.68029] \textit{Buffalov, Sergey; El-Fakih, Khaled; Yevtushenko, Nina; von Bochmann, Gregor}, Progressive solutions to a parallel automata equation, 367-382 [Zbl 1279.68135] \textit{Yamaguchi, Hirozumi; von Bochmann, Gregor; Higashino, Teruo}, Decomposing service definition in predicate/transition-nets for designing distributed systems, 399-414 [Zbl 1279.68273]
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68M10
Mathematics Subject Classification ID: 68M14
zbMATH DE Number: 2013248
zbMATH Keywords: Formal techniques
zbMATH Keywords: Networked systems
zbMATH Keywords: Distributed systems
zbMATH Keywords: FORTE 2003
zbMATH Keywords: IFIP WG 6.1
zbMATH Keywords: Berlin (Germany)
MaRDI profile type: Publication
DOI: 10.1007/11965
OpenAlex ID: W2501695616
description: scientific article; zbMATH DE number 2013248