Runtime Verification, Fachbücher von Bernd Finkbeiner, Leonardo Mariani

Runtime Verification, Fachbücher von Giles Reger, Shuvendu Lahiri

Runtime Verification, Fachbücher von Axel Legay, Saddek Bensalem

Runtime Verification, Fachbücher von Serdar Tasiran, Shaz Qadeer

Runtime Verification, Fachbücher von Dejan Nickovic, Jyotirmoy Deshmukh

Runtime Verification, Fachbücher von Lu Feng, Dana Fisman

Runtime Verification, Fachbücher von Yliès Falcone, César Sánchez

Runtime Verification, Fachbücher von Martin Leucker, Christian Colombo

Runtime Verification, Fachbücher von Borzoo Bonakdarpour, Scott A. Smolka

Lectures on Runtime Verification, Fachbücher von Ezio Bartocci, Yliès Falcone

Post-Silicon and Runtime Verification for Modern Processors, Fachbücher von Valeria Bertacco, Ilya Wagner

Runtime Verification, Fachbücher von Oleg Sokolsky, Serdar Tasiran

Validation of Evolving Software, Fachbücher von Daniel Kroening, Natasha Sharygina, Hana Chockler, Leonardo Mariani

Sarfaz Khurshid (u. A.) | Runtime Verification | Taschenbuch |

Runtime Verification, Fachbücher von Saddek Bensalem, Doron A. Peled

Runtime Verification Third International Conference, Rv 2012,