skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Model Checking remover assunto: Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Classification and Survey of Analysis Strategies for Software Product Lines
A Classification and Survey of Analysis Strategies for Software Product Lines
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Classification and Survey of Analysis Strategies for Software Product Lines

Thüm, Thomas ; Apel, Sven ; Kästner, Christian ; Schaefer, Ina ; Saake, Gunter

ACM computing surveys, 2014-07, Vol.47 (1), p.1-45 [Periódico revisado por pares]

Baltimore: Association for Computing Machinery

Texto completo disponível

Citações Citado por
2
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers

FATES 2004 (2004 Linz, Austria) Jens Grabowski; Brian Nielsen Ph. D

Berlin Springer New York 2005

Acesso online. A biblioteca também possui exemplares impressos.

3
Model Checking Higher-Order Programs
Model Checking Higher-Order Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Model Checking Higher-Order Programs

KOBAYASHI, Naoki

Journal of the ACM, 2013-06, Vol.60 (3), p.1-62 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
4
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers

FATES 2005 (2005 Edinburgh, Scotland) Wolfgang Grieskamp 1960; Carsten Weise

Berlin Springer New York c2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3997 ) e outros locais(Acessar)

5
Quality of software architectures and software quality First International Conference on the Quality of Software Architectures QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 ; proceedings
Quality of software architectures and software quality First International Conference on the Quality of Software Architectures QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Quality of software architectures and software quality First International Conference on the Quality of Software Architectures QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 ; proceedings

International Conference on the Quality of Software Architectures (1st 2005 Erfurt, Germany) Ralf Reussner; International Workshop on Software Quality (2nd 2005 Erfurt, Germany)

Berlin Springer New York c2005

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3712 ) e outros locais(Acessar)

6
Using Formal Verification to Evaluate Human-Automation Interaction: A Review
Using Formal Verification to Evaluate Human-Automation Interaction: A Review
Material Type:
Artigo 		Adicionar ao Meu Espaço

Using Formal Verification to Evaluate Human-Automation Interaction: A Review

Bolton, M. L. ; Bass, E. J. ; Siminiceanu, R. I.

IEEE transactions on systems, man, and cybernetics. Systems, 2013-05, Vol.43 (3), p.488-503 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por
7
Alternating-time temporal logic
Alternating-time temporal logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Alternating-time temporal logic

Alur, Rajeev ; Henzinger, Thomas A ; Kupferman, Orna

Journal of the ACM, 2002-09, Vol.49 (5), p.672-713 [Periódico revisado por pares]

New York: Association for Computing Machinery

Texto completo disponível

Citações Citado por
8
MCMAS: an open-source model checker for the verification of multi-agent systems
MCMAS: an open-source model checker for the verification of multi-agent systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

MCMAS: an open-source model checker for the verification of multi-agent systems

Lomuscio, Alessio ; Qu, Hongyang ; Raimondi, Franco

International journal on software tools for technology transfer, 2017-02, Vol.19 (1), p.9-30 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Probabilistic Model Checking and Scheduling Implementation of an Energy Router System in Energy Internet for Green Cities
Probabilistic Model Checking and Scheduling Implementation of an Energy Router System in Energy Internet for Green Cities
Material Type:
Artigo 		Adicionar ao Meu Espaço

Probabilistic Model Checking and Scheduling Implementation of an Energy Router System in Energy Internet for Green Cities

Gao, Min ; Wang, Kun ; He, Lei

IEEE transactions on industrial informatics, 2018-04, Vol.14 (4), p.1501-1510

Piscataway: IEEE

Texto completo disponível

Citações Citado por
10
Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking
Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking

Baouya, Abdelhakim ; Mohamed, Otmane Ait ; Ouchani, Samir ; Bennouar, Djamal

Expert systems with applications, 2021-07, Vol.174, p.114572, Article 114572 [Periódico revisado por pares]

New York: Elsevier Ltd

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (372)
  2. Anais de Congresso  (129)
  3. Livros  (23)
  4. Book Chapters  (22)
  5. Reports  (1)
  6. Dissertações  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1997  (17)
  2. 1997Até2003  (75)
  3. 2004Até2010  (161)
  4. 2011Até2018  (242)
  5. Após 2018  (63)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.