Concept
Atomic sentence
Related publications (5)
Exploiting the chirality of intermetallic PdGa
The intermetallic compound PdGa has recently attracted considerable interest for combining high catalytic activity with high reaction selectivity in symmetric heterogeneous catalysis, in particular semi-hydrogenation of acetylene and methanol steam reformi ...
EPFL2020Robust Control Policies Given Formal Specifications in Uncertain Environments
Maryam Kamgarpour, Tony Alan Wood
We consider robust control synthesis for linear systems with complex specifications that are affected by uncertain disturbances. This letter is motivated by autonomous systems interacting with partially known, time-varying environments. Given a specificati ...
2017Building blocks for secure services
This thesis is concerned with two security mechanisms: authenticated key transport and rational exchange protocols. These mechanisms are potential building blocks in the security architecture of a range of different services. Authenticated key transport pr ...
EPFL2002Stepwise Refinement of Formal Specifications Based on Logical Formulae: from COOPN/2 Specifications to Java Programs
One of the steps making it possible to increase the quality and the reliability of the software executing on distributed systems consists of the use of methods of software engineering that are known as formal. The majority of the formal methods currently e ...
1999Stepwise refinement of formal specifications based on logical formulae
One of the steps making it possible to increase the quality and the reliability of the software executing on distributed systems consists of the use of methods of software engineering that are known as formal. The majority of the formal methods currently e ...
EPFL1999