The following pages link to E-LOTOS (Q15551):
Displaying 22 items.
- Formal modelling and verification of GALS systems using GRL and CADP (Q315303) (← links)
- Interactive Markov chains. And the quest for quantified quality (Q701689) (← links)
- A linear process-algebraic format with data for probabilistic automata (Q764285) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Verification of the link layer protocol of the IEEE-1394 serial bus (FireWire): An experiment with E-LOTOS (Q1856183) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- Dynamic and formal verification of embedded systems: A comparative survey (Q2506271) (← links)
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (Q3000666) (← links)
- The How and Why of Interactive Markov Chains (Q3066128) (← links)
- A Database Approach to Distributed State-Space Generation (Q3069997) (← links)
- Computation Tree Regular Logic for Genetic Regulatory Networks (Q3540063) (← links)
- Refined Interfaces for Compositional Verification (Q3613065) (← links)
- (Q4422085) (← links)
- (Q4536374) (← links)
- (Q4798036) (← links)
- (Q4942013) (← links)
- Automated Reasoning (Q5307047) (← links)
- PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus (Q5326325) (← links)
- Symbolic Reachability for Process Algebras with Recursive Data Types (Q5505595) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900952) (← links)
- Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k (Q5953461) (← links)
- A timed verification of the IEEE 1394 Leader election protocol (Q5959853) (← links)
