Formal techniques for networked and distributed systems -- FORTE 2003. 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29 -- October 2, 2003. Proceedings (Q1414845)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formal techniques for networked and distributed systems -- FORTE 2003. 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29 -- October 2, 2003. Proceedings |
scientific article; zbMATH DE number 2013248
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal techniques for networked and distributed systems -- FORTE 2003. 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29 -- October 2, 2003. Proceedings |
scientific article; zbMATH DE number 2013248 |
Statements
Formal techniques for networked and distributed systems -- FORTE 2003. 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29 -- October 2, 2003. Proceedings (English)
0 references
4 December 2003
0 references
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]
0 references
Formal techniques
0 references
Networked systems
0 references
Distributed systems
0 references
FORTE 2003
0 references
IFIP WG 6.1
0 references
Berlin (Germany)
0 references
