First Page | Document Content | |
---|---|---|
Date: 2016-07-20 13:08:19Computing Cross-platform software Logic in computer science Runtime verification Benchmark Standard Performance Evaluation Corporation Computer performance Java | Second International Competition on Runtime Verification CRV 2015 Yli`es Falcone1 , Dejan Nickovic2 , Giles Reger3 , and Daniel Thoma4 1Add to Reading ListSource URL: www.cs.man.ac.ukDownload Document from Source WebsiteFile Size: 271,90 KBShare Document on Facebook |