Fault-Tolerant Search Algorithms Reliable Computation with Unreliable Information /

by Cicalese, Ferdinando
Published in Springer eBooks (2013)

Model predictive control for linear systems with interval and stochastic uncertainties

by Dombrovskii, Vladimir V. 1951-2021
Published in Reliable Computing

Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers /

Published in Springer eBooks (2014)

Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers /

Published in Springer eBooks (2013)

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /

Published in Springer eBooks (2013)