Yazar
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
Format:
Electronic Resources
Alıntı:
Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia
Yazar
Feng, Xinyu. editor.
Format:
Electronic Resources
Alıntı:
Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium
View Other Search Results
Yazar
Piskac, Ruzica. editor.
Format:
Electronic Resources
Alıntı:
Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018
Yazar
Itsykson, Vladimir. editor.
Format:
Electronic Resources
Alıntı:
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia
Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference
Yazar
Zowghi, Didar. editor.
Format:
Electronic Resources
Alıntı:
, methods, tools, and techniques for improving and enhancing Requirement Engineering products and processes.
Yazar
Maruyama, Naoya. editor.
Format:
Electronic Resources
Alıntı:
, locality, task parallelism, extensions, tools, accelerator programming, and performance evaluations and
Yazar
Terboven, Christian. editor.
Format:
Electronic Resources
Alıntı:
, accelerator applications, tools, extensions, compiler and runtime, and energy.
Yazar
Fiems, Dieter. editor.
Format:
Electronic Resources
Alıntı:
Behavior -- Modeling and Simulation Tools.
Yazar
Balsamo, Simonetta. editor.
Format:
Electronic Resources
Alıntı:
quantitative modeling; big data processing and IoT; theory, methods and tools for quantitative analysis.
Yazar
Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
Format:
Electronic Resources
Alıntı:
Systems: A Survey on Theory, Tools and Applications -- Runtime Verification for Decentralized and
Arama Sonuçlarını Sınırlandır
Daraltılmış: