VINAS-P
From MaRDI portal
Software:14122
swMATH1383MaRDI QIDQ14122FDOQ14122
Author name not available (Why is that?)
Cited In (10)
- Title not available (Why is that?)
- Reconciling fault-tolerant distributed computing and systems-on-chip
- Title not available (Why is that?)
- Geometric properties of a binary non-Pisot inflation and absence of absolutely continuous diffraction
- An Inverse Method for Parametric Timed Automata
- Automated Technology for Verification and Analysis
- Synthesis of Timing Parameters Satisfying Safety Properties
- AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
- Parameter synthesis for hierarchical concurrent real-time systems
- Full simulation coverage for SystemC transaction-level models of systems-on-a-chip
This page was built for software: VINAS-P
