Lectures on Runtime Verification: Introductory and Advanced Topics by Ezio Barto
83,63 €
By Ezio Bartocci, Yliès Falcone. Subtitle Introductory and Advanced Topics. - Discovering Concurrency Errors. - Monitoring Events That Carry Data. - Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.
Jetzt bei Ebay: