swMATH1383MaRDI QIDQ14122FDOQ14122
Author name not available (Why is that?)
Official website: http://www.springerlink.com/content/n4764px26872k704/
Cited In (24)
- Title not available (Why is that?)
- Synthesis of timing parameters satisfying safety properties
- 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
- Automated Technology for Verification and Analysis
- IMITATOR
- SaddleDrop
- TREX
- Genius
- StableBBasisNBM5
- Pinapa
- formConv
- reszeta.lib
- DALIA
- Shrinktech
- GADMM
- Octagon
- AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
- Z_LINEAR_K
- PSyHCoS
- 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
