The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 04 - April (vol. 33)
ISSN: 0098-5589

Model Checking Markov Chains with Actions and State Labels (Abstract)

Christel Baier , Institute for Theoretical Computer Science, Technische Universitašt Dresden, D-01062 Dresden, Germany
Lucia Cloth , EWI/DACS, University of Twente, PO Box 217, 7500 AE Enschede, The Netherlands
Boudewijn R. Haverkort , EWI/DACS, University of Twente, PO Box 217, 7500 AE Enschede, The Netherlands
Matthias Kuntz , EWI/DACS, University of Twente, PO Box 217, 7500 AE Enschede, The Netherlands
Markus Siegle , Universitašt der Bundeswehr Mušnchen, Institute fušr Technische Informatik, Fakultašt fušr Informatik, 85577 Neubiberg, Germany
pp. 209-224

Test Synthesis from UML Models of Distributed Software (Abstract)

Simon Pickin , Departamento de Ingenieria Telematica, Universidad Carlos III de Madrid, Madrid, Spain
Claude Jard , ENS Cachan, Campus de Ker Lann, Bruz, France
Thierry Jeron , IRISA/INRIA, Campus Universitaire de Beaulieu, Rennes Cedex, France
Jean-Marc Jezequel , IRISA, Campus Universitaire de Beaulieu, Rennes Cedex, France
Yves Le Traon , ENST Bretagne, 2, rue de la Chataigneraie, 35576 Cesson Sevigne Cedex, France
pp. 252-269
Papers
Call for Papers
84 ms
(Ver 3.3 (11022016))