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: Barbara Gallina 20 träffar

Titel Författare År Språk
1 Computer Safety, Reliability, and Security: 37th International Conference, SAFECOMP 2018, V'ster's, Sweden, September 19-21, 2018, Proceedings 2018 Okänt
2 Systematic Design of Data Management for Real-Time Data-Intensive Applications Simin Cai 2017 Engelska
3 DAGGTAX - A Taxonomy of Data Aggregation Processes Simin Cai 2017 Engelska
4 Lessons Learned while formalizing ISO 26262 for Compliance Checking 2018. December 12 The Netherlands 2nd Workshop on Technologies for Regulatory Compliance co-located with the 31st International Conference on Legal Knowledge and Information Systems (JURIX 2018) Groningen Julieth Patricia Castellanos Ardila 2018 Engelska
5 Enabling Cross-Domain Reuse of Tool Qualification Certification Artefacts ITALY Florence 2014 SEP 08-09 33rd SAFECOMP Workshop 2014 Engelska
6 New Opportunities for Software Reuse - 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings 2018 Engelska
7 Assurance Aware Contract-based Design for Safety-critical Systems Irfan Sljivo 2018 Engelska
8-9 Computer Safety, Reliability, and Security - SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings (flera utgåvor) 2018 Engelska
10 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
11 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
12 Systematic Design and Analysis of Customized Data Management for Real-Time Database Systems Simin Cai 2019 Engelska
13 On-line Meetings for Educating the Minds of Future Safety Engineers during the COVID Pandemic - An Experience Report Sweden VIRTUAL 23 Apr 2021 13th International Conference on Computer Supported Education CSEDU-2021 Barbara Gallina 2021 Engelska
14 Facilitating Automated Compliance Checking of Processes against Safety Standards Julieth Patricia Castellanos Ardila 2019 Engelska
15 Towards Explainable, Compliant and Adaptive Human-Automation Interaction Prague 9 December 2020 3rd EXplainable AI in Law Workshop (XAILA 2020) co-located with 33rd International Conference on Legal Knowledge and Information Systems (JURIX 2020) Barbara Gallina 2020 Engelska
16 A Safety-centered Planning-time Framework for Automated Process Compliance Checking Julieth Patricia Castellanos Ardila 2021 Engelska
17 Organizational Changes-aware Safety-centered Risk Assessment in Augmented Reality-equipped Socio-technical Systems Soheila Sheikh Bahaei 2023 Engelska
18 Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops : DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings Andrea. Ceccarelli 2024 Engelska
19 New Opportunities for Software Reuse: 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings 2018 Okänt
20 Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings Barbara Gallina 2018 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.