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
1 Exploiting Algebraic Laws to Improve Mechanized Axiomatizations 2013 September 3-6 Poland Warsaw The 5th Conference on Algebra and Coalgebra in Computer Science CALCO 2013 Luca Aceto 2013 Engelska
2-3 Flyg fjäril, flyg (flera utgåvor) Anette Althén 2024 Svenska
4 Automatic Consequence Analysis of Automotive Standards (AUTO-CAAS) Position Paper 2015 May 4 Canada QC Montréal First International Workshop on Automotive Software Architectures (WASA 2015) Thomas Arts 2015 Engelska
5 A Pre-congruence Format for XY -simulation 2015 22-24 April Iran Tehran The 6th IPM International Conference on Fundamentals of Software Engineering (FSEN 2015) Harsh Beohar 2015 Engelska
6 (De-)Composing Causality in Labeled Transition Systems 2016 April 8 The Netherlands Eindhoven The 1st Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies Georgiana Caltais 2016 Engelska
7 Modular Semantics for Transition System Specifications with Negative Premises 27–30 August 2013 Argentina Buenos Aires CONCUR 2013 24th International Conference on Concurrency Theory Martin Churchill 2013 Engelska
8 Complete IOCO Test Cases - A Case Study 2016 November 18 USA WA Seattle and Evaluation (A-TEST 2016) Selection 7th International Workshop on Automating Test Case Design Sofia Costa Paiva 2016 Engelska
9-10 Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers (flera utgåvor) 2017 Engelska
11 Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings 2015 Okänt
12 Cyber Physical Systems. Design, Modeling, and Evaluation: 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers 2017 Okänt
13 Automatic generation of configurable test-suites for software product lines Vanderson Hafemann Fragal 2018 Engelska
14 Algebraic Meta-Theory of Processes with Data 2013 August 26 Argentina Buenos Aires Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics EXPRESS/SOS 2013 Daniel Gebler 2013 Engelska
15 Modeling and analysis of communicating systems J. F. (Jan Friso) Groote 2014 Engelska
16 Validated Test Models for Software Product Lines - Featured Finite State Machines 2016 19-21 October France Besançon The 13th International Conference on Formal Aspects of Component Software (FACS 2016) Vanderson Hafemann Fragal 2016 Engelska
17 Early Fault Detection in DSLs using SMT Solving and Automated Debugging 2013 25-27 September Spain Madrid SEFM 2013 11th International Conference on Software Engineering and Formal Methods Sarmen Keshishzadeh 2013 Engelska
18 Model-Driven Security Test Case Generation Using Threat Modeling and Automata Learning Stefan Marksteiner 2024 Engelska
19 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 1 Mohammad Reza Mousavi uuuu-uuuu Okänt
20 Conformance Testing of Cyber-Physical Systems - A Comparative Study 2014 24–26th September Netherlands Enschede University of Twente The 14th International Workshop on Automated Verification of Critical Systems Morteza Mohaqeqi 2014 Engelska

1 2 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.