A technical operation or procedure that consists of determination of one or more characteristics of a given product, process or service according to a specified procedure.
forum
Submitted by Anonymous on Fri, 04/20/2018 - 10:33am
8th Halmstad Summer School on Testing (HSST 2018)
Organized in cooperation with TOCSYC Network
Introduction
forum
Submitted by Anonymous on Tue, 04/03/2018 - 2:03pm
Deadline Extended: April 5, 2018
event
Submitted by Anonymous on Tue, 04/03/2018 - 1:04pm
16th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE '18)
Over the last decade, the boundaries between computer system components, such as hardware, software, firmware, middleware, and applications, have blurred. This evolution in system design and development practices led in 2014 to a change in the title and scope of the MEMOCODE conference from its original focus on hardware/software co-design to its new focus on formal methods and models for developing computer systems and their components.
event
Submitted by Anonymous on Wed, 03/14/2018 - 3:03pm
12th International Conference on Tests & Proofs (TAP 2018)
Part of the STAF Event 2018(parallel ECMFA, ICGT, ICMT, SEFM, TAP, TTC)
Purpose and scope
The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
forum
Submitted by Anonymous on Wed, 03/14/2018 - 1:24pm
forum
Submitted by Anonymous on Wed, 03/14/2018 - 12:50pm
CALL FOR PARTICIPATION
Pau, France | April 9 - 13, 2018
More information:
forum
Submitted by Anonymous on Thu, 02/08/2018 - 12:16pm
event
Submitted by Anonymous on Tue, 01/30/2018 - 2:47pm
8th Halmstad Summer School on Testing (HSST 2018)
Organized in cooperation with TOCSYC Network
Introduction
forum
Submitted by Anonymous on Mon, 01/29/2018 - 12:33pm
event
Submitted by Anonymous on Mon, 01/29/2018 - 12:31pm
International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES 2018)
CASES is a premier forum where researchers, developers and practitioners exchange information on the latest advances in compilers and architectures for high-performance, low-power embedded systems.
