28 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Feng, Xinyu. editor.
Format:
Electronic Resources
Alıntı:
Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium
Yazar
Piskac, Ruzica. editor.
Format:
Electronic Resources
Alıntı:
Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018
View Other Search Results
Yazar
Itsykson, Vladimir. editor.
Format:
Electronic Resources
Alıntı:
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia
Yazar
Balsamo, Simonetta. editor.
Format:
Electronic Resources
Alıntı:
quantitative modeling; big data processing and IoT; theory, methods and tools for quantitative analysis.
Yazar
Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772
Format:
Electronic Resources
Alıntı:
named: types; program analysis; tools; functional programs and probabilistic programs; verification
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
Yazar
Yokota, Rio. editor. (orcid)0000-0001-7573-7873
Format:
Electronic Resources
Alıntı:
: Resource Management and Energy Efficiency; Performance Analysis and Tools; Exascale Networks; Parallel
Yazar
Botterweck, Goetz. editor. (orcid)0000-0002-5556-1660
Format:
Electronic Resources
Alıntı:
product lines; variability management and model variants; verification and refactoring for reuse; tools
Yazar
Bertrand, Nathalie. editor.
Format:
Electronic Resources
Alıntı:
Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool
Yazar
Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
Format:
Electronic Resources
Alıntı:
; formal methods in practice; tools for formal methods; role of formal methods in software systems
Yazar
de Lara, Juan. editor. (orcid)0000-0001-9425-6362
Format:
Electronic Resources
Alıntı:
: foundations; graph language and parsing; analysis and verification; and model transformation and tools.
Yazar
Heras, Dora B. editor.
Format:
Electronic Resources
Alıntı:
, language and interface design and implementation to tools, support infrastructures, and application
28 sonuç bulundu