VINAS-P
From MaRDI portal
Software:14122
No author found.
Related Items (10)
Synthesis of Timing Parameters Satisfying Safety Properties ⋮ Automated Technology for Verification and Analysis ⋮ Reconciling fault-tolerant distributed computing and systems-on-chip ⋮ Parameter synthesis for hierarchical concurrent real-time systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Geometric properties of a binary non-Pisot inflation and absence of absolutely continuous diffraction ⋮ An Inverse Method for Parametric Timed Automata ⋮ AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA ⋮ Full simulation coverage for SystemC transaction-level models of systems-on-a-chip
This page was built for software: VINAS-P
