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: Dan Lawesson 18 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1-4 | Model-checking based fault isolation using automatic abstraction (flera utgåvor) | Dan Lawesson | 2004 | Engelska |
| 5-6 | ENSYM project oriented studies of spring 98 - team 1 (flera utgåvor) | 1999 | Engelska | |
| 7-8 | Towards behavioral model fault isolation for object oriented control systems (flera utgåvor) | Dan Lawesson | 2001 | Engelska |
| 9-10 | Fault isolation using process algebra models (flera utgåvor) | Dan Lawesson | 2002 | Engelska |
| 11-12 | An approach to diagnosability analysis for interacting finite state systems (flera utgåvor) | Dan Lawesson | 2005 | Engelska |
| 13-14 | Fault isolation in discrete event systems by observational abstraction (flera utgåvor) | Dan Lawesson | 2005 | Engelska |
| 15-16 | Fault isolation in object oriented control systems (flera utgåvor) | 2000 | Engelska | |
| 17-18 | Model-checking based fault isolation in UML (flera utgåvor) | Dan Lawesson | 2001 | 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.