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: Klaus. Havelund
20 träffar
|
Titel |
Författare |
År |
Språk |
1 |
SPIN model checking and software verification - 7th international SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000 : proceedings
|
International SPIN Workshop 2000) Stanford :
|
cop. 2000 |
Engelska |
2 |
Formal Approaches to Software Testing and Runtime Verification electronic resource - First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
|
Klaus. Havelund
|
2006 |
Engelska |
3 |
Model Checking Software - 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
|
David. Hutchison
|
2008 |
Engelska |
4 |
SPIN Model Checking and Software Verification
|
International SPIN Workshop
|
2000 |
Engelska |
5 |
Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
|
Howard. Barringer
|
2010 |
Engelska |
6 |
NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
|
Mihaela. Bobaru
|
2011 |
Engelska |
7 |
Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
|
Erika. Ábrahám
|
2014 |
Engelska |
8 |
NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
|
|
2015 |
Engelska |
9 |
Visualization of Concurrent Program Executions
|
2nd Int. Workshop on Software Architectures and Component Technologies (SACT 2007) Cyrille Artho
|
2007 |
Engelska |
10 |
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 |
11 |
Applying Jlint to Space Exploration Software
|
Model Checking and Abstract Interpretation (VMCAI 2004) 5th Int. Conf. on Verification Cyrille Artho
|
2004 |
Engelska |
12 |
High-Level Data Races
|
1st Int. Workshop on Verification and Validation of Enterprise Information Systems Cyrille Artho
|
2003 |
Engelska |
13 |
Experiments with Test Case Generation and Runtime Analysis
|
10th Int. Workshop on Abstract State Machines (ASM 2003) Cyrille Artho
|
2003 |
Engelska |
14 |
Domain-Specific Languages with Scala
|
17th Int. Conf. on Formal Engineering Methods (ICFEM 2015) Cyrille Artho
|
2015 |
Engelska |
15 |
Visualization of Concurrent Program Executions
|
Cyrille Artho
|
2007 |
Engelska |
16 |
Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
|
|
2018 |
Engelska |
17 |
NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
|
Klaus Havelund
|
2015 |
Okänt |
18 |
SPIN Model Checking and Software Verification
|
Klaus Havelund
|
uuuu-uuuu |
Okänt |
19 |
Model Checking Software
|
Klaus Havelund
|
2008 |
Okänt |
20 |
Formal Approaches to Software Testing and Runtime Verification
|
Klaus Havelund
|
2006 |
Okänt |
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.