PVeStA
From MaRDI portal
Software:20432
No author found.
Related Items (13)
Probabilistic Real-Time Rewrite Theories and Their Expressive Power ⋮ The rewriting logic semantics project: a progress report ⋮ On the accuracy of formal verification of selective defenses for TDoS attacks ⋮ Twenty years of rewriting logic ⋮ Rewriting semantics of production rule sets ⋮ Designing reliable distributed systems. A formal methods approach based on executable modeling in Maude ⋮ Integrating deployment architectures and resource consumption in timed object-oriented models ⋮ Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults ⋮ Resource provisioning strategies for BPMN processes: specification and analysis using Maude ⋮ Modeling and analyzing mobile ad hoc networks in Real-Time Maude ⋮ A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing ⋮ Statistical Model Checking for Composite Actor Systems ⋮ Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
This page was built for software: PVeStA
