Coverart for item
The Resource Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings, Joost-Pieter Katoen, ed

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings, Joost-Pieter Katoen, ed

Label
Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
Title
Formal methods for real-time and probabilistic systems
Title remainder
5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
Statement of responsibility
Joost-Pieter Katoen, ed
Title variation
  • 5th International AMAST Workshop, ARTS'99
  • Fifth International AMAST Workshop, ARTS'99
  • International AMAST Workshop
  • ARTS'99
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
CUS
Index
index present
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorDate
1999
http://library.link/vocab/relatedWorkOrContributorName
  • Katoan, Joost-Pieter
  • International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software
Series statement
Lecture notes in computer science,
Series volume
1601
http://library.link/vocab/subjectName
  • Real-time data processing
  • Computer software
  • Systems engineering
Label
Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings, Joost-Pieter Katoen, ed
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Fully abstract characterization of probabilistic may testing / Bengt Jonsson and Wang Yi -- Quantitative program logic and performance in probabilistic distributed algorithms / Annabelle K. McIver -- Establishing qualitative properties for probabilistic lossy channel systems / Christel Baier and Bettina Engelen -- Root contention in IEEE 1394 / Marielle Stoelinga and Frits Vaandrager -- Automatic verification of real-time systems with discrete probability distributions / Marta Kwiatkowska ... [et al.] -- ProbVerus: probabilistic symbolic model checking / Vicky Hartonas-Garmhausen, Sergio Campos, and Ed Clarke -- Process algebra with probabilistic choice / Suzana Andova -- An axiomatization of probabilistic testing / Manuel Nunez -- Verification of hybrid systems / Frits Vaandrager -- A parallel operator for real-time processes with predicate transformer semantics / Karl Lermer -- Comparing the efficiency of asynchronous systems / Lars Jenner and Walter Vogler -- A formal model of real-time program compilation / Karl Lermer and Colin Fidge -- Specifying performance measures for PEPA / Graham Clark, Stephen Gilmore, and Jane Hillston -- Semi-numerical solution of stochastic process algebra models / Henrik C. Bohnenkamp and Boudewijn R. Haverkort -- Bisimulation algorithms for stochastic process algebras and their BDD-based implementation / Holger Hermanns and Markus Siegle -- Probabilistic linear-time model checking / Moshe Y. Vardi -- Formal verification of a power controller using the real-time model checker UPPAAL / Klaus Havelund, Kim Guldstrand Larsen, and Arne Skou -- Verifying progress in timed systems / Stavros Tripakis -- Proof assistance for real-time systems using an interactive theorem prover / Paul Z. Kolano -- Modelling timeouts without timelocks / Howard Bowman
Control code
41525601
Dimensions
24 cm
Extent
x, 353 pages
Isbn
9783540660101
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Label
Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings, Joost-Pieter Katoen, ed
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Fully abstract characterization of probabilistic may testing / Bengt Jonsson and Wang Yi -- Quantitative program logic and performance in probabilistic distributed algorithms / Annabelle K. McIver -- Establishing qualitative properties for probabilistic lossy channel systems / Christel Baier and Bettina Engelen -- Root contention in IEEE 1394 / Marielle Stoelinga and Frits Vaandrager -- Automatic verification of real-time systems with discrete probability distributions / Marta Kwiatkowska ... [et al.] -- ProbVerus: probabilistic symbolic model checking / Vicky Hartonas-Garmhausen, Sergio Campos, and Ed Clarke -- Process algebra with probabilistic choice / Suzana Andova -- An axiomatization of probabilistic testing / Manuel Nunez -- Verification of hybrid systems / Frits Vaandrager -- A parallel operator for real-time processes with predicate transformer semantics / Karl Lermer -- Comparing the efficiency of asynchronous systems / Lars Jenner and Walter Vogler -- A formal model of real-time program compilation / Karl Lermer and Colin Fidge -- Specifying performance measures for PEPA / Graham Clark, Stephen Gilmore, and Jane Hillston -- Semi-numerical solution of stochastic process algebra models / Henrik C. Bohnenkamp and Boudewijn R. Haverkort -- Bisimulation algorithms for stochastic process algebras and their BDD-based implementation / Holger Hermanns and Markus Siegle -- Probabilistic linear-time model checking / Moshe Y. Vardi -- Formal verification of a power controller using the real-time model checker UPPAAL / Klaus Havelund, Kim Guldstrand Larsen, and Arne Skou -- Verifying progress in timed systems / Stavros Tripakis -- Proof assistance for real-time systems using an interactive theorem prover / Paul Z. Kolano -- Modelling timeouts without timelocks / Howard Bowman
Control code
41525601
Dimensions
24 cm
Extent
x, 353 pages
Isbn
9783540660101
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620
Processing Feedback ...