Consistency and satisfiability of waveform timing specifications
From MaRDI portal
Publication:3199186
DOI10.1002/net.3230210107zbMath0713.90042OpenAlexW2132826536MaRDI QIDQ3199186
Farhad Mavaddat, T. Gahlinger, Janusz A. Brzozowski
Publication date: 1991
Published in: Networks (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/net.3230210107
Applications of mathematical programming (90C90) Reliability, availability, maintenance, inspection in operations research (90B25) Production models (90B30) Case-oriented studies in operations research (90B90) Mathematical problems of computer architecture (68M07)
Related Items (4)
An algorithm for timing verification of systems constrained by min-max inequalities ⋮ Solving linear, min and max constraint systems using CLP based on relational interval arithmetic ⋮ Min-max inequalities and the timing verification problem with max and linear constraints ⋮ Efficient algorithms for approximate time separation of events
Cites Work
This page was built for publication: Consistency and satisfiability of waveform timing specifications
