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: Damir Nešić 6 träffar

Titel Författare År Språk
1-2 Automated Creation of Safety Cases for Highly Configurable Systems (flera utgåvor) Damir Nešić 2020 Engelska
3 Constructing Product-Line Safety Cases from Contract-Based Specifications ACM/SIGAPP Symposium on Applied Computing Damir Nešić 2019 Engelska
4 Contract-based Specification and Description-Logic-Based Validation of Product Lines Damir Nešić 2018 Engelska
5 Principles of Feature Modeling ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering Damir Nešić 2019 Engelska
6 Verifying Contract-Based Specications of Product Lines using Description Logic 31st international workshop on Description Logics Damir Nešić 2018 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.