✦ LIBER ✦

Metrics for Action-labelled Quantitative Transition Systems

✍ Scribed by Yuxin Deng; Tom Chothia; Catuscia Palamidessi; Jun Pang

Book ID: 108126595
Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 347 KB
Volume: 153
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2005.10.033

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Theory of Metric Labelled Transition S

A Theory of Metric Labelled Transition Systems

✍ FRANCK VAN BREUGEL 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 717 KB

Ubiquity in Category for Metric Spaces a

Ubiquity in Category for Metric Spaces and Transition Systems

✍ Maurice Pouzet; Bernard Roux 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 370 KB

Labelled metabolic pools for studying qu

Labelled metabolic pools for studying quantitatively the biochemistry of toxic action

✍ F.P.W. Winteringham 📂 Article 📅 1956 🏛 Elsevier Science ⚖ 665 KB

Compressed and Distributed File Formats

Compressed and Distributed File Formats for Labeled Transition Systems

✍ Stefan Blom; Izak van Langevelde; Bert Lisser 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 177 KB

With model checking techniques growing towards maturity, the availability for standardised file formats for labeled transition systems is more important than ever. A number of requirements for file formats are introduced, based on requirements for software, databases and compression. Two candidate f

Generic metrics and quantitative approac

Generic metrics and quantitative approaches for system resilience as a function of time

✍ Devanandham Henry; Jose Emmanuel Ramirez-Marquez 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 358 KB

Quantitative testing of a frontal collis

Quantitative testing of a frontal collision warning system for transit buses

✍ Lu, X.-Y.; Shladover, S.E.; Zhang, W.-B. 📂 Article 📅 2007 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 509 KB