skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Refinado por: Nome da Publicação: Lecture Notes in Computer Science (LNCS) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Adaptive localizer based on splitting trees

Roland Groz Adenilso da Silva Simão; Catherine Oriat; IFIP International Conference on Testing Software and Systems - IFIP-ICTSS (29. 2017 St. Petersburg, Russia)

Lecture Notes in Computer Science (LNCS) Cham, SZ : Springer v. 10533, p. 326-332, 2017

Cham, SZ Springer 2017

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2864869 )(Acessar)

2
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Fault-based testing for refinement in CSP

Ana Cavalcanti Adenilso da Silva Simão; IFIP International Conference on Testing Software and Systems - IFIP-ICTSS (29. 2017 St. Petersburg, Russia)

Lecture Notes in Computer Science (LNCS) Cham, SZ : Springer v. 10533, p. 21-37, 2017

Cham, SZ Springer 2017

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2864877 )(Acessar)

3
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Generating checking sequences for user defined fault models

Alexandre Petrenko Adenilso da Silva Simão; IFIP International Conference on Testing Software and Systems - IFIP-ICTSS (29. 2017 St. Petersburg, Russia)

Lecture Notes in Computer Science (LNCS) Cham, SZ : Springer v. 10533, p. 320-325, 2017

Cham, SZ Springer 2017

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2864702 )(Acessar)

4
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Validated test models for software product lines featured finite state machines

Vanderson Hafemann Fragal Adenilso da Silva Simão; Mohammad Reza Mousavi; International Conference Formal Aspects of Component Software - FACS (13. 2016 Besançon, France)

Lecture Notes in Computer Science (LNCS) Cham, SZ : Springer v. 10533, p. 210-227, 2017

Cham, SZ Springer 2017

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2893111 )(Acessar)

5
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Integrating hierarchical clustering and pareto-efficiency to preventive controls selection in voltage stability assessment

Moussa R Mansour (Moussa Reda Mansour) Alexandre Cláudio Botazzo Delbem; Luís Fernando Costa Alberto; Rodrigo Andrade Ramos; International Conference Evolutionary Multi-Criterion Optimization - EMO (8. 2015 Guimarães, Portugal)

Lecture Notes in Computer Science (LNCS) Cham : Springer v. 9019, p. 487-497, Mar. 2015

Cham Springer 2015

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2804062 )(Acessar)

6
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Multi-objective evolutionary algorithm with discrete differential mutation operator for service restoration in large-scale distribution systems

Danilo Sipoli Sanches Telma Woerle de Lima (Telma Woerle de Lima Soares); João Bosco Augusto London Junior; Alexandre Cláudio Botazzo Delbem; Ricardo Sérgio Prado; Frederico Gadelha Guimarães; International Conference Evolutionary Multi-Criterion Optimization - EMO (8. 2015 Guimarães, Portugal)

Lecture Notes in Computer Science (LNCS) Cham : Springer v. 9019, p. 498-513, Mar. 2015

Cham Springer 2015

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2804092 )(Acessar)

Buscando em bases de dados remotas. Favor aguardar.