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: Dilian Gurov 19 träffar

Titel Författare År Språk
1 State space representation for verification of open systems Irem Aktug 2006 Engelska
2 Reducing behavioural to structural properties of programs with procedures - technical report Dilian Gurov 2007 Engelska
3 Harmonized Supervision of Degree Project Work Scholarship of Teaching and Learning 2019 Milan Jocevski 2019 Engelska
4 Lärosäte: KTH - forskarutbildningsämne: datalogi Dilian Gurov 10 March 2017 Engelska
5 Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers Bernhard. Beckert 2012 Engelska
6 Verifying a Structured Peer-to-Peer Overlay Network - The Static Case Italy Rovereto 2004 March 9-12 IST/FET International Workshop Global Computing Johannes Borgström 2005 Engelska
7 Compositional Algorithmic Verification of Software Product Lines FMCO 2010; Graz; Austria; 29 November-1 December 2010 9th International Symposium on Formal Methods for Components and Objects Ina Schaefer 2010 Engelska
8 Algorithmic verification of procedural programs in the presence of code variability 10 September 2014 through 12 September 2014 Italy Bertinoro FACS 2014 11th International Symposium on Formal Aspects of Component Software Siavash Soleimanifard 2015 Engelska
9 Procedure-Modular Verification of Control Flow Safety Properties Maribor (Slovenia June 22 12th Workshop on Formal Techniques for Java-like Programs Siavash Soleimanifard 2010 Engelska
10 Private intersection of regular languages 2014 July 23-24 Canada Security and Trust,Toronto Twelfth Annual International Conference on Privacy Roberto Guanciale 2014 Engelska
11 Algorithmic Verification of Synchronization with Condition Variables Pedro de Carvalho Gomes 2015 Engelska
12 Learning-based Testing for Automotive Embedded Systems - A requirements modeling and Fault injection study Hojat Khosrowjerdi 2019 Engelska
13 Regular Inference for Communication Protocol Entities Therese Bohlin 2009 Engelska
14 Algorithmic Verification Techniques for Mobile Code Irem Aktug 2008 Engelska
15 Formal Verification of Object-Oriented Software Bernhard Beckert 2012 Okänt
16 Harmonized Supervision of Degree Project Work Stockholm KTH SoTL 2019 Milan Jocevski 2019 Engelska
17 Sound Extraction of Control-Flow Graphs from open Java Bytecode Systems Pedro de Carvalho Gomes 2012 Engelska
18 Provably Correct Control-Flow Graphs from Java Programs with Exceptions Afshin Amighi 2012 Engelska
19 Automated Deductive Verification of Safety-Critical Embedded Software Christian Lidström 2024 Engelska

1

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.