Formal methods for performance evaluation. 7th international school on formal methods for the design of computer, communication, and software systems, SFM 2007, Bertinoro, Italy, May 28 -- June 2, 2007. Advanced lectures

DOI10.1007/978-3-540-72522-0zbMath1118.68001OpenAlexW4233680698WikidataQ56019899 ScholiaQ56019899MaRDI QIDQ2381090

No author found.

Publication date: 25 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72522-0

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

PRODUCT-FORM IN G-NETWORKS ⋮ Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey

This page was built for publication: Formal methods for performance evaluation. 7th international school on formal methods for the design of computer, communication, and software systems, SFM 2007, Bertinoro, Italy, May 28 -- June 2, 2007. Advanced lectures