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: Simin Nadjm-Tehrani 63 träffar

Titel Författare År Språk
21 Understanding IEC-60870-5-104 Traffic Patterns in SCADA Networks 2018 June 4 Korea Incheon CPSS Chih-Yuan Lin 2018 Engelska
22 On semantics of reactive rule-based systems Man Lin 1996 Engelska
23 Challenges in Future Avionic Systems on Multi-core Platforms ISSRE. 3-6 Nov. 2014,Naples IEEE International Symposium on Software Reliability Engineering Andreas Löfwenmark 2014 Engelska
24 Understanding Shared Memory Bank Access Interference in Multi-Core Avionics 16th International Workshop on Worst-Case Execution Time Analysis (WCET) Andreas Löfwenmark 2016 Engelska
25 Secure IT Systems: 25th Nordic Conference, NordSec 2020, Virtual Event, November 23-24, 2020, Proceedings Mikael Asplund 2021 Okänt
26 Analysis of the overtaking scenario - specification of an autonomous car and a driver support system Simin Nadjm-Tehrani 1991 Engelska
27 Compositional modelling of hybrid systems Simin Nadjm-Tehrani 1993 Engelska
28 Contributions to the declarative approach to debugging Prolog programs Simin Nadjm-Tehrani 1989 Engelska
29 JAS-95 Lite - modelling and formal analysis of dynamic properties Simin Nadjm-Tehrani 1996 Engelska
30 Modelling and verification of hybrid systems - a case study : conference paper version Simin Nadjm-Tehrani 1993 Engelska
31 Reactive systems in physical environments - compositional modelling and framework for verification Simin Nadjm-Tehrani 1994 Engelska
32 Towards a Security Domain Model for Embedded Systems International Symposium on High Assurance Systems Engineering Simin Nadjm-Tehrani 2011 Engelska
33 NODES 09 - NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009 2009 Svenska
34 Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systemss 2011 Okänt
35 Anomaly Detection and its Adaptation: Studies on Cyber-Physical Systems Massimiliano Raciti 2013 Engelska
36 Energy-based adaptation in simulations of survivability of ad hoc communication WD IFIP Wireless Days Massimiliano Raciti 2011 Engelska
37 Verifying Resource Adequacy of Networked IMA Systems at Concept Level 2019 November 9 China Shenzhen Formal Techniques for Safety-Critical Systems (FTSCS) Rodrigo Saar de Moraes 2020 Engelska
38 Optimising Replication versus Redundancy in Window-aware Opportunistic Routing And Quality of Service (CTRQ) Reliability The International Conference on Communication Theory Gabriel Sandulescu 2010 Engelska
39 Vicinity Resource Cartography for Delay-Tolerant Networks: a Holistic Perspective WD'10 The 3rd IFIP Wireless Days Gabriel Sandulescu 2010 Engelska
40 Monkey Gamer: Automatic profiling of Android games Applications and Services (MobiCASE) International Conference on Mobile Computing Javier Santos 2014 Engelska

Förra sidan 1 2 3 4 Nästa sida

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.