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
21 Experiments with Test Case Generation and Runtime Analysis 10th Int. Workshop on Abstract State Machines (ASM 2003) Cyrille Artho 2003 Engelska
22 Extraction of properties in C implementations of security APIs for verification of Java applications 3rd Int. Workshop on Analysis of Security APIs Cyrille Artho 2009 Engelska
23 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
24 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
25 High-Level Data Races 1st Int. Workshop on Verification and Validation of Enterprise Information Systems Cyrille Artho 2003 Engelska
26 Iterative Delta Debugging 4th Haifa Verification Conference (HVC 2008) Cyrille Artho 2008 Engelska
27 Iterative Delta Debugging 19th IFIP Int. Conf. on Testing of Communicating Systems (TESTCOM 2007) Cyrille Artho 2007 Engelska
28 JNuke - Efficient Dynamic Analysis for Java 16th Int. Conf. on Computer Aided Verification (CAV 2004) Cyrille Artho 2004 Engelska
29 Modbat - A Model-based API Tester for Event-driven Systems 9th Haifa Verification Conference (HVC 2013) Cyrille Artho 2013 Engelska
30 Modbat - A model-based API tester for event-driven systems Dependable Systems Workshop (DSW 2012) Cyrille Artho 2012 Engelska
31 Model-based Testing of Stateful APIs with Modbat 30th Int. Conf. on Automated Software Engineering (ASE 2015) Cyrille Artho 2015 Engelska
32 Model Checking Networked Programs in the Presence of Transmission Failures 1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007) Cyrille Artho 2007 Engelska
33 Model Checking of Concurrent Algorithms - From Java to C Conf. on Distributed and Parallel Embedded Systems (DIPES 2010) Cyrille Artho 2010 Engelska
34 Precondition Coverage in Software Testing 1st Int. Workshop on Validating Software Tests (VST 2016) Cyrille Artho 2016 Engelska
35 Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems / Cyrille Artho, Peter Csaba Ölveczky, SIGPLAN, In-Cooperation: SIGAda Cyrille Artho uuuu-uuuu Okänt
36 Run-time Verification of Networked Software 10th Int. Conf. on Runtime Verification (RV 2010) Cyrille Artho 2010 Engelska
37 Separation of Transitions, Actions, and Exceptions in Model-based Testing EUROCAST 2009 Cyrille Artho 2009 Engelska
38 Separation of Transitions, Actions, and Exceptions in Model-based Testing 12th Int. Conf. on Computer Aided Systems Theory (Eurocast 2009) Cyrille Artho 2009 Engelska
39 Software Model Checking for Distributed Systems with Selector-Based, Non-Blocking Communication 28th Int. Conf. on Automated Software Engineering (ASE 2013) Cyrille Artho 2013 Engelska
40 Sources of Inter-package Conflicts in Debian Workshop on Logics for Component Configuration (LoCoCo 2011) Cyrille Artho 2011 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.