Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Cyrille Artho 85 träffar

Titel Författare År Språk
1-3 Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers (flera utgåvor) 2017 Engelska
4 Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers Cyrille. Artho 2014 Engelska
5 Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings 2016 Engelska
6 FTSCS '22 : proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems : December 7, 2022, Auckland, New Zealand / Cyrille Artho, Peter Csaba Ölveczky Cyrille Artho uuuu-uuuu Okänt
7 Combining Static and Dynamic Analysis to Find Multi-threading Faults Beyond Data Races Cyrille Artho 2005 Engelska
8 Effects of Memory Randomization, Sanitization and Page Cache on Memory Deduplication European Workshop on System Security (EuroSec 2012) Kuniyasu Suzaki 2012 Engelska
9 Visualization of Concurrent Program Executions 2nd Int. Workshop on Software Architectures and Component Technologies (SACT 2007) Cyrille Artho 2007 Engelska
10 Efficient Testing of Software Product Lines via Centralization (Short Paper) Int. Conf. on Generative Programming Lei Ma 2014 Engelska
11 Separation of Transitions, Actions, and Exceptions in Model-based Testing EUROCAST 2009 Cyrille Artho 2009 Engelska
12 Optimization of Combinatorial Testing by Incremental SAT Solving 13 April 2015 through 17 April 2015 Austria Graz ICST 2015 Verification and Validation 8th IEEE International Conference on Software Testing Akihisa Yamada 2015 Engelska
13 Verifying networked programs using a model checker extension 31st Int. Conf. on Software Engineering (ICSE 2009) Watcharin Leungwattanakit 2009 Engelska
14 Modbat - A Model-based API Tester for Event-driven Systems 9th Haifa Verification Conference (HVC 2013) Cyrille Artho 2013 Engelska
15 Applying Static Analysis to Large-Scale, Multithreaded Java Programs 13th ASWEC Cyrille Artho 2001 Engelska
16 Test Effectiveness Evaluation of Prioritized Combinatorial Testing - A Case Study Reliability and Security (QRS 2016) 2016 IEEE Int. Conf. on Software Quality Eun-Hye Choi 2016 Engelska
17 Introduction of Virtualization Technology to Multi-Process Model Checking NASA Formal Methods Symposium 2009 Watcharin Leungwattanakit 2009 Engelska
18 Why Do Software Packages Conflict? 9th Working Conf. on Mining Software Repositories (MSR 2012) Cyrille Artho 2012 Engelska
19 Enforcer—Efficient Failure Injection 14th Int. Conf. on Formal Methods (FM 2006) Cyrille Artho 2006 Engelska
20 Cardinality of UDP Transmission Outcomes SETTA 2015; Nanjing; China; 4 November 2015 through 6 November 2015 and Applications Tools 1st International Symposium on Dependable Software Engineering: Theories Franz Weitl 2015 Engelska

1 2 3 4 5 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.