Search results

• ICST
  |Title=International Conference on Software Testing, Verification and Validation
  133 bytes (17 words) - 12:42, 28 January 2021
• HLDVT 2016
  |Title=HLDVT 2016 : IEEE International High-Level Design Validation and Test Workshop |Field=validation, verification, debug, test
  408 bytes (52 words) - 10:47, 8 March 2021
• ICST 2020
  |Title=International Conference on Software Testing, Verification and Validation
  228 bytes (26 words) - 12:42, 28 January 2021
• MSVVEIS 2008
  ...le = 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
  618 bytes (69 words) - 20:03, 17 February 2021
• AMARETTO 2017
  ...nal Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
  423 bytes (52 words) - 10:28, 8 March 2021
• TAIC PART 2017
  ...2017 : 12th Workshop on Testing: Academia-Industry Collaboration, Practice and Research Techniques |Field=software testing, industry collaboration, verification and validation, software quality
  490 bytes (59 words) - 11:23, 8 March 2021
• ITEQS 2017
  ...2017 : 1st International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems |Field=software testing, verification and validation, extra-functional properties, software quality
  515 bytes (62 words) - 11:05, 8 March 2021
• EURASIP Journal on Embedded Systems 2009
  ...ystems, Special Issue on Formal Techniques for Embedded Systems Design and Validation ...dded systems are also safety-critical requiring high degree of reliability and fault tolerance. Examples
  4 KB (456 words) - 12:24, 28 January 2021
• SafeComp 2019
  |Title=38th International Conference on Computer Safety, Reliability, and Security The 38th International Conference on Computer Safety, Reliability, and Security (SAFECOMP)
  3 KB (420 words) - 11:22, 8 March 2021
• SAFECOMP 2017
  |Title=36th International Conference on Computer Safety, Reliability, and Security ...state-of-the-art in dependable application of computers in safety-related and safety-critical systems.
  4 KB (458 words) - 11:18, 8 March 2021
• SafeComp 2018
  |Title=37th International Conference on Computer Safety, Reliability, and Security The 37th International Conference on Computer Safety, Reliability and Security (SAFECOMP)
  4 KB (476 words) - 11:22, 8 March 2021
• DERIS 2009
  | Title = International Workshop on Design, Evaluation and Refinement of Intelligent Systems Design, Evaluation and Refinement of Intelligent Systems (DERIS)
  6 KB (864 words) - 12:17, 28 January 2021
• TTSDP 2009
  | Title = International Workshop on “Tools and Techniques in Software Development Processes for High Performance computing ...ware engineering, software quality, verification and validation techniques and software project management,.
  1 KB (190 words) - 20:20, 17 February 2021
• FASE 2019
  ...nt of conceptual and methodological advances with their formal foundations and tool support are particularly encouraged. We welcome contributions on all s ...gineering discipline, including its interaction with and impact on society and economics;
  2 KB (302 words) - 10:44, 8 March 2021
• SafeComp 2020
  |Title=39th International Conference on Computer Safety, Reliability and Security The 39th International Conference on Computer Safety, Reliability and Security ( SafeComp)
  5 KB (618 words) - 11:22, 8 March 2021
• CoNEXT 2018
  |Title=14th International Conference on Emerging Networking Experiments and Technology *Content distribution and caching, e.g., CDN, peer-to-peer, overlays, wide-area
  2 KB (239 words) - 10:37, 8 March 2021
• KSEM 2018
  |Title=International Conference on Knowledge Science, Engineering and Management * Knowledge representation and reasoning
  2 KB (205 words) - 11:07, 8 March 2021
• LCTES 2010
  | Title = Conference on Languages, Compilers and Tools for Embedded Systems Sweden for an exciting exchange of ideas and techniques among several
  2 KB (257 words) - 19:59, 17 February 2021
• COMPSAC 2008
  | Title = 32nd Annual IEEE International Computer Software and Applications Conference ...eedings by the IEEE Computer Society, indexed through INSPEC and EI Index, and automatic inclusion in the IEEE digital library. Plans had been made to for
  2 KB (249 words) - 12:13, 28 January 2021
• SDKB 2008
  | Title = International Workshop on Semantics in Data and Knowledge Bases ...knowledge bases, computational linguistics and semiotics, and information and knowledge-based systems.
  2 KB (271 words) - 20:13, 17 February 2021

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)