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: Irfan Sljivo 7 träffar

Titel Författare År Språk
1-2 Facilitating reuse of safety case artefacts using safety contracts (flera utgåvor) Irfan Šljivo 2015 Engelska
3-4 Assurance aware contract-based design for safety-critical systems (flera utgåvor) Irfan Sljivo 2018 Engelska
5 Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation Portugal Lisbon 18 Jun 2018 23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 Ada-Europe-2018 Irfan Sljivo 2018 Engelska
6 Cooperative safety critical CPS platooning in SafeCOP 11 June 2017 through 15 June 2017 MECO 2017 6th Mediterranean Conference on Embedded Computing S. Medawar 2017 Engelska
7 Configuration-aware contracts TIPS 2016; Trondheim; Norway; 21 September 2016 through 23 September 2016 and 1st International Workshop on the Timing Performance in Safety Engineering SASSUR 2016 5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems DECSoS 2016 Workshop on Dependable Embedded and Cyber-physical Systems and Systems-of-Systems ASSURE 2016 SAFECOMP 2016 and International Workshop on Assurance Cases for Software-Intensive Systems and Security Reliability International Conference on Computer Safety Irfan Sljivo 2016 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.