Q1962884
type: Item
instance of: scholarly article
title: Formal methods for protocol engineering and distributed systems. FORTE XII/ PSTV XIX '99. IFIP TC6 WG6. 1 joint international conference on Formal description techniques for distributed systems and communication protocols (FORTE XII) and protocol specification, testing and verification (PSTV XIX). Beijing, China, October 5--8, 1999
zbMATH Open document ID: 0932.00062
published in: IFIP, International Federation for Information Processing
publication date: 2000-01-19T00:00:00Z
review text: The articles of this volume will be reviewed individually. The preceding conferences (11th, FORTE XI, 1998 and 18th, PSTV XVIII, 1998) have been indicated (see Zbl 0905.68004). Indexed articles: \textit{Petrenko, A.; Boroday, S.; Groz, R.}, Confirming configurations in EFSM, 5-24 [Zbl 0952.68092] \textit{Jard, Claude; Jéron, Thierry; Tanguy, Lénaïck; Viho, César}, Remote testing can be as powerful as local testing, 25-40 [Zbl 0952.68009] \textit{Cavalli, Ana; Lee, David; Rinderknecht, Christian; Zaïdi, Fatiha}, Hit-or-jump: An algorithm for embedded testing with applications to IN services, 41-56 [Zbl 0952.68007] \textit{Núñez, Manuel; Rupérez, David}, Fair testing through probabilistic testing, 135-150 [Zbl 0952.68091] \textit{Bi, Jun; Wu, Jianping}, A formal approach to conformance testing of distributed routing protocols, 151-163 [Zbl 0953.68501] \textit{Garavel, Hubert; Sighireanu, Mihaela}, A graphical parallel composition operator for process algebras, 185-202 [Zbl 0952.68097] \textit{Najm, Elie; Nimour, Abdelkrim; Stefani, Jean-Bernard}, Guaranteeing liveness in an object calculus through behavioral typing, 203-221 [Zbl 0953.68084] \textit{Peled, Doron; Vardi, Moshe Y.; Yannakakis, Mihalis}, Black box checking, 225-240 [Zbl 0952.68012] \textit{Dong, Yifei; Ramakrishnan, C. R.}, An optimizing compiler for efficient model checking, 241-256 [Zbl 0952.68035] \textit{Godefroid, Patrice}, Exploiting symmetry when model-checking software. (Extended abstract), 257-275 [Zbl 0953.68520] \textit{Hsiung, Pao-Ann; Wang, Farn}, User-friendly verification, 279-294 [Zbl 0953.68570] \textit{Schenke, Michael; Dossis, Michael}, Provably correct hardware compilation using timing diagrams, 313-331 [Zbl 0953.68513] \textit{Kim, Myungchul; Shin, Jaehwi; Chanson, Samuel T.; Kang, Sungwon}, An enhanced model for testing asynchronous communicating systems, 337-356 [Zbl 0951.68004] \textit{Seol, Soonuk; Kim, Myungchul; Kang, Sungwon; Park, Yongbum; Choe, Younghan}, Interoperability tes…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1391173
zbMATH Keywords: Beijing (China)
zbMATH Keywords: Proceedings
zbMATH Keywords: Conference
zbMATH Keywords: Protocol engineering
zbMATH Keywords: Distributed systems
MaRDI profile type: Publication
label: Formal methods for protocol engineering and distributed systems. FORTE XII/ PSTV XIX '99. IFIP TC6 WG6. 1 joint international conference on Formal description techniques for distributed systems and communication protocols (FORTE XII) and protocol specification, testing and verification (PSTV XIX). Beijing, China, October 5--8, 1999
description: scientific article; zbMATH DE number 1391173