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 90 träffar

Titel Författare År Språk
41 Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis Analysis and Transformation (BYTECODE 2005) Verification 1st Workshop on Bytecode Semantics Cyrille Artho 2005 Engelska
42 Teaching Software Model Checking Workshop on Formal Methods in Computer Science Education (FORMED 2008) Cyrille Artho 2008 Engelska
43 Tools and Techniques for Model Checking Networked Programs And Parallel/Distributed Computing (SNPD 2008) Networking Artificial Intelligence 9th Int. Conf. on Software Engineering Cyrille Artho 2008 Engelska
44 Using block-local atomicity to detect stale-value concurrency errors 2nd Int. Symposium on Automated Technology for Verification and Analysis (ATVA 2004) Cyrille Artho 2004 Engelska
45 Using Checkpointing and Virtualization for Fault Injection 2nd Int. Symposium on Computing and Networking Cyrille Artho 2014 Engelska
46 Visualization of Concurrent Program Executions 2nd Int. Workshop on Software Architectures and Component Technologies (SACT 2007) Cyrille Artho 2007 Engelska
47 Visualization of Concurrent Program Executions Cyrille Artho 2007 Engelska
48-49 VST : 2018 IEEE 2nd International Workshop on Validation, Analysis and Evolution of Software Tests : proceedings : March 20, 2018, Campobasso, Italy / Cyrille Artho and Rudolf Ramler sponsored by Institute of Electrical and Electronics Engineers (flera utgåvor) Cyrille Artho uuuu-uuuu Okänt
50 Why Do Software Packages Conflict? 9th Working Conf. on Mining Software Repositories (MSR 2012) Cyrille Artho 2012 Engelska
51 With an Open Mind - How to Write Good Models 2nd Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2013) Cyrille Artho 2014 Engelska
52 Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings 2016 Engelska
53 Automated Technology for Verification and Analysis 2016 Okänt
54 Liveness Checking as Safety Checking 7th Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS’02) Armin Biere 2002 Engelska
55 Model-Based Testing for Verification Backends 7th Int. Conf. on Tests & Proofs (TAP 2013) Armin Biere 2013 Engelska
56 Security-Aware Multi-User Architecture for IoT And Security (QRS'21) Reliability 21st IEEE International Conference on Software Quality Marcus Birgersson 2021 Engelska
57 Design of Prioritized N-Wise Testing 26th IFIP WG Int. Conf. on Testing Software and Systems (ICTSS 2014) Eun-Hye Choi 2014 Engelska
58 Distance-Integrated Combinatorial Testing 27th IEEE Int. Symposium on Software Reliability Engineering (ISSRE 2016) Eun-Hye Choi 2016 Engelska
59 Priority Integration for Weighted Combinatorial Testing COMPSAC 2015 39th IEEE Annual Computer Software and Applications Conf. Eun-Hye Choi 2015 Engelska
60 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

Förra sidan 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.