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: Adam Duracz 8 träffar

Titel Författare År Språk
1 Acumen - An Open-source Testbed for Cyber-Physical Systems Research 2015 October 26 Italy Rome iOt and sensors Networks (CYCLONE '15) EAI International Conference on CYber physiCaL systems Walid Taha 2016 Engelska
2 Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment USA New York August 24-26 The 12th IEEE International Conference on Embedded Software and Systems (ICESS 2015) Adam Duracz 2015 Engelska
3 Derivation of probability distributions for risk assessment Adam Duracz 2006 Engelska
4 Accurate Rigorous Simulation Should be Possible for Good Designs 2016 April 11 Austria Vienna 2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’16) Adam Duracz 2016 Engelska
5 Flipping a First Course on Cyber-Physical Systems – An Experience Report 2016 Oct. 6th USA PA Pittsburgh Workshop on Embedded and Cyber-Physical Systems Education (WESE 2016) Walid Taha 2016 Engelska
6 Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point 2013 August 19-20 Taiwan Taipei and Applications Networks The 1st IEEE International Conference on Cyber-Physical Systems Michal Konečný 2013 Engelska
7-8 Rigorous Simulation - Its Theory and Applications (flera utgåvor) Adam Duracz 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.