FAST

swMATH6192MaRDI QIDQ18326FDOQ18326

Author name not available (Why is that?)

Described by source

• FAST: an efficient decision procedure for deduction and static equivalence

Cited In (6)

• \(\mathcal H_\infty\) static output-feedback control design with constrained information for offshore wind turbine system
• Analysing privacy-type properties in cryptographic protocols (invited talk)
• Adaptive maximum power point tracking control for wind turbines with effective wind speed estimation \& prediction
• Computing knowledge in equational extensions of subterm convergent theories
• Linear parameter‐varying modelling and control of an offshore wind turbine with constrained information
• A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols

This page was built for software: FAST