skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Electronic Notes in Theoretical Computer Science remover assunto: Model Checking remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Static Analysis and Stochastic Search for Reachability Problem
Static Analysis and Stochastic Search for Reachability Problem
Material Type:
Artigo 		Adicionar ao Meu Espaço

Static Analysis and Stochastic Search for Reachability Problem

Chai, Xinwei ; Ribeiro, Tony ; Magnin, Morgan ; Roux, Olivier ; Inoue, Katsumi

Electronic notes in theoretical computer science, 2020-09, Vol.350, p.139-158

Elsevier B.V

Texto completo disponível

Citações Citado por
2
Toward Model Selection by Formal Methods
Toward Model Selection by Formal Methods
Material Type:
Artigo 		Adicionar ao Meu Espaço

Toward Model Selection by Formal Methods

Hajnal, Matej ; Pastva, Samuel

Electronic notes in theoretical computer science, 2020-09, Vol.350, p.57-71

Elsevier B.V

Texto completo disponível

Citações Citado por
3
A Symbolic Model for Timed Concurrent Constraint Programming
A Symbolic Model for Timed Concurrent Constraint Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Symbolic Model for Timed Concurrent Constraint Programming

Arias, Jaime ; Guzmán, Michell ; Olarte, Carlos

Electronic notes in theoretical computer science, 2015-04, Vol.312, p.161-177

Elsevier B.V

Texto completo disponível

Citações Citado por
4
Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions
Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions

Reijsbergen, Daniël ; Gilmore, Stephen ; Hillston, Jane

Electronic notes in theoretical computer science, 2015-01, Vol.310, p.157-177

Elsevier B.V

Texto completo disponível

Citações Citado por
5
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Constraining Cycle Alternations in Model Checking for Interval Temporal Logic

Molinari, Alberto ; Montanari, Angelo ; Peron, Adriano

Electronic notes in theoretical computer science, 2016-04, Vol.322, p.211-226

Elsevier B.V

Texto completo disponível

Citações Citado por
6
Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages
Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages

Lima, V. ; Talhi, C. ; Mouheb, D. ; Debbabi, M. ; Wang, L. ; Pourzandi, Makan

Electronic notes in theoretical computer science, 2009-10, Vol.254, p.143-160

Elsevier B.V

Texto completo disponível

Citações Citado por
7
On a Logic for Coalitional Games with Priced-Resource Agents
On a Logic for Coalitional Games with Priced-Resource Agents
Material Type:
Artigo 		Adicionar ao Meu Espaço

On a Logic for Coalitional Games with Priced-Resource Agents

Della Monica, Dario ; Napoli, Margherita ; Parente, Mimmo

Electronic notes in theoretical computer science, 2011-11, Vol.278, p.215-228

Elsevier B.V

Texto completo disponível

Citações Citado por
8
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting

Bae, Kyungmin ; Meseguer, José

Electronic notes in theoretical computer science, 2012-12, Vol.290, p.19-36

Elsevier B.V

Texto completo disponível

Citações Citado por
9
Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids
Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids
Material Type:
Artigo 		Adicionar ao Meu Espaço

Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids

Garavel, Hubert ; Mateescu, Radu ; Serwe, Wendelin

Electronic notes in theoretical computer science, 2013-08, Vol.296, p.145-161

Elsevier B.V

Texto completo disponível

Citações Citado por
10
Distributed LTL Model Checking with Hash Compaction
Distributed LTL Model Checking with Hash Compaction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Distributed LTL Model Checking with Hash Compaction

Barnat, J. ; Havlíček, J. ; Ročkai, P.

Electronic notes in theoretical computer science, 2013-08, Vol.296, p.79-93

Elsevier B.V

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.   

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

Buscando em bases de dados remotas. Favor aguardar.