Advances in model representations

DOI10.1007/3-540-44804-7_1MaRDI QIDQ4800174zbMATH OpenFDO

Authors Markus Siegle

Publication date 2 April 2003

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

Full work available at URL https://doi.org/10.1007/3-540-44804-7_1

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Model checking for performability
• scientific article; zbMATH DE number 19227
• scientific article; zbMATH DE number 836614
• Specification techniques for Markov reward models
• scientific article; zbMATH DE number 2102729

Cited in

(13)

• Efficient input-output model representations
• Reliability and performability modeling using SHARPE 2000
• Recent advances on the use of separated representations
• scientific article; zbMATH DE number 19227 (Why is no real title available?)
• scientific article; zbMATH DE number 52336 (Why is no real title available?)
• Traffic Modelling and Probabilistic Process Abstraction
• On Proposing Statecharts to Specify Performance Models
• scientific article; zbMATH DE number 2087795 (Why is no real title available?)
• scientific article; zbMATH DE number 2102729 (Why is no real title available?)
• A new algorithm for partitioned symbolic reachability analysis
• Automated Deduction – CADE-20
• Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications
• Mixing logics and rewards for the component-oriented specification of performance measures

This page was built for publication: Advances in model representations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4800174)