scientific article
From MaRDI portal
Publication:2729037
zbMath0970.68681MaRDI QIDQ2729037
Christophe Hirel, Bruno Tuffin, Kishor S. Trivedi
Publication date: 18 October 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
An SRN-Based Resiliency Quantification Approach ⋮ Accelerating Petri-net simulations using NVIDIA graphics processing units ⋮ SPNP ⋮ Dependability analysis of the data communication system in train control system
This page was built for publication:
