Custom cover image
Custom cover image

Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings / edited by Joost-Pieter Katoen

By: Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 1601Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1999Description: Online-RessourceISBN:
  • 9783540487784
Subject(s): Genre/Form: Additional physical formats: 9783540660101 | Buchausg. u.d.T.: Formal methods for real time and probabilistic systems. Berlin : Springer, 1999. X, 353 S.DDC classification:
  • 004.33
  • 005.1015113 23
  • 004.0151 23
RVK: RVK: SS 4800LOC classification:
  • QA76.9.L63
  • QA76.5913
  • QA76.63
DOI: DOI: 10.1007/3-540-48778-6Online resources: Summary: This book constitutes the refereed proceedings of the Fifth International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems, ARTS '99, held in Bamberg, Germany in May 1999. The 17 revised full papers presented together with three invited contributions were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on verification of probabilistic systems, model checking for probabilistic systems, semantics of probabilistic process calculi, semantics of real-time processes, real-time compilation, stochastic process algebra, and modeling and verification of real-time systemsPPN: PPN: 1649356846Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-BAE | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT