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

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

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 Bernd Finkbeiner, Leonardo Mariani

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

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

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

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

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

De Julio César a Caracalla, Fachbücher von José María Ortuño Sánchez Pedreño

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

Runtime Verification Third International Conference, Rv 2012,