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: Reza Mousavi 35 träffar

Titel Författare År Språk
21 Sound Test-Suites for Cyber-Physical Systems China Shanghai 17–19 July 2016 The 10th International Symposium on Theoretical Aspects of Software Engineering Morteza Mohaqeqi 2016 Engelska
22 Towards an Approximate Conformance Relation for Hybrid I/O Automata 2016 4-5 June Iceland Reykjavik The 1st International Workshop on Verification and Validation of Cyber-Physical Systems V2CPS Morteza Mohaqeqi 2016 Engelska
23 Robustness of equations under operational extensions 2010 August 30th France Paris 17th International Workshop (EXPRESS’10) P. D. Mosses 2010 Engelska
24 Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6. 1 International Conference, FORTE 2022, Held As Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings Mohammad Reza. Mousavi uuuu-uuuu Okänt
25 Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A / Mohammad Reza Mousavi Mohammad Reza Mousavi uuuu-uuuu Okänt
26 Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B / Mohammad Reza Mousavi Mohammad Reza Mousavi uuuu-uuuu Okänt
27 Flyg fjäril, flyg Reza Mousavi 2025 Svenska
28 On the Complexity of Input Output Conformance Testing 27–29 October 2013 China Nanchang 10th International Symposium on Formal Aspects of Component Software (FACS 2013) Neda Noroozi 2014 Engelska
29 Data-driven Fault Diagnosis for Cyber-Physical Systems Mehdi Saman Azari 2025 Engelska
30-31 Topics in Theoretical Computer Science - The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers (flera utgåvor) 2017 Engelska
32 Topics in Theoretical Computer Science 2016 Okänt
33 Topics in Theoretical Computer Science: Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings 2017 Okänt
34 Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems 2019 January 27-30 Slovakia Nový Smokovec 45th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2019) Mahsa Varshosaz 2019 Engelska
35 Modeling and Model-Based Testing of Software Product Lines Mahsa Varshosaz 2019 Engelska

Förra sidan 1 2

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.