Buscar
Mostrando ítems 1-10 de 21
MODEL PARTITIONS AND COMPACT TEST CASE SUITES
(World Scientific PublishingSingapore, 2012)
We present a generalized test case generation method, called the G method. Although inspired by the W method, the G method, in contrast, allows for test case suite generation even in the absence of characterization sets ...
MODEL PARTITIONS AND COMPACT TEST CASE SUITES
(World Scientific Publ Co Pte LtdSingapore, 2012)
Identificação dos parâmetros do modelo de Drucker-Prager/CAP para estudo da densificação mecânica de alumina atomizada
(Universidade Federal de São CarlosUFSCarPrograma de Pós-Graduação em Ciência e Engenharia de Materiais - PPGCEMCâmpus São Carlos, 2019-06-27)
Pressing followed by sintering is among the most versatile materials processing
routes and suits different classes of materials: ceramic, polymeric and metallic.
In the last decade, this processing route has been gaining ...
Incremental testing of finite state machines
(Wiley-blackwellHobokenEUA, 2013)
A new method for testing timed systems
(Wiley-blackwellHobokenEUA, 2013)
Estudo comparativo de ensaios destrutivos e não destrutivos para concreto
(Universidade Tecnológica Federal do ParanáCuritibaDepartamento Acadêmico de Construção Civil, 2012-04-12)
Concrete is the most used material in construction and better suited to resist compressive loads. Since it an indispensable material and that in its aging is subject suffering from various types of conditions and with high ...
Discretising And Testing Timed Contextual Models
(Inderscience Enterprises LtdGeneva, 2016)
Adrenocortical responses in Japanese quail classified by their permanence in proximity to either low or high density of conspecifics
(Poultry Science Association, 2018-06-19)
The density-related permanence test (DRP) is used to classify young birds (while in groups) according to their individual permanence in proximity to either a high or low density of conspecifics (HD or LD, respectively). ...