Cited in
(24)- scientific article; zbMATH DE number 5175527 (Why is no real title available?)
- Synthesis of timing parameters satisfying safety properties
- Reconciling fault-tolerant distributed computing and systems-on-chip
- scientific article; zbMATH DE number 1903354 (Why is no real title available?)
- Geometric properties of a binary non-Pisot inflation and absence of absolutely continuous diffraction
- Automated Technology for Verification and Analysis
- IMITATOR
- SaddleDrop
- TREX
- Genius
- StableBBasisNBM5
- Pinapa
- formConv
- reszeta.lib
- DALIA
- Shrinktech
- GADMM
- Octagon
- Z_LINEAR_K
- PSyHCoS
- 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
- An inverse method for parametric timed automata
This page was built for software: VINAS-P
