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: Predrag Filipovikj 4 träffar

Titel Författare År Språk
1 Automated approaches for formal verification of embedded systems artifacts Predrag Filipovikj 2019 Engelska
2-3 Pattern-based specification and formal analysis of embedded systems requirements and behavioral models (flera utgåvor) Predrag Filipovikj 2017 Engelska
4 An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models Finland Finland Turku 01 Nov 2017 29th Nordic Workshop on Programming Theory NWPT'17 Raluca Marinescu 2017 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.