Resultados de 1 a 10 de 87 para Busca Geral
Ordenado por:
Ordenado por:
Data mais antigaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
assunto:
Software
Model Checking
Model Checking
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Ata de Congresso
|
|
Verifying the correctness of AADL modules using model checkingJosko, BernhardStepwise Refinement of Distributed Systems Models, Formalisms, Correctness, 1990, p.386-400 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Some computational aspects of circumscriptionKolaitis, Phokion ; Papadimitriou, ChristosJournal of the ACM, 1990-01, Vol.37 (1), p.1-14 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
A really temporal logicAlur, Rajeev ; Henzinger, ThomasJournal of the ACM, 1994-01, Vol.41 (1), p.181-203 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
The complexity of probabilistic verificationCourcoubetis, Costas ; Yannakakis, MihalisJournal of the ACM, 1995-07, Vol.42 (4), p.857-907 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
The benefits of relaxing punctualityAlur, Rajeev ; Feder, Tomás ; Henzinger, ThomasJournal of the ACM, 1996-01, Vol.43 (1), p.116-146 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Elements of style: analyzing a software design feature with a counterexample detectorJackson, D. ; Damon, C.A.IEEE transactions on software engineering, 1996-07, Vol.22 (7), p.484-495 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Method of verifying statecharts by fixpoint computationYAMANE, SSystems and computers in Japan, 1996-11, Vol.27 (13), p.99-110New York, NY: Scripta TechnicaTexto completo disponível |
| 8 |
Material Type: Capítulo de Livro
|
|
Modular State Level Analysis of Distributed Systems Techniques and Tool SupportBuchholz, Peter ; Kemper, PeterLecture notes in computer science, 1999, p.420-434 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 9 |
Material Type: Capítulo de Livro
|
|
Abstract BDDs: A Technique for Using Abstraction in Model CheckingClarke, Edmund ; Jha, Somesh ; Lu, Yuan ; Wang, DongCorrect Hardware Design and Verification Methods, 1999, p.172-187 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
An automata-theoretic approach to branching-time model checkingKupferman, Orna ; Vardi, Moshe ; Wolper, PierreJournal of the ACM, 2000-03, Vol.47 (2), p.312-360 [Periódico revisado por pares]ACMTexto completo disponível |
Resultados de 1 a 10 de 87 para Busca Geral
Ordenado por:
Ordenado por:
Data mais antigaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Tipo de Recurso
- Artigos (58)
- Anais de Congresso (24)
- Book Chapters (3)
- Livros (2)
-
Mais opções
Assunto
- Technology (76)
- Science & Technology (76)
- Computer Science (75)
- Computer Science, Hardware & Architecture (48)
- Computer Science, Software Engineering (43)
- Engineering (35)
- Computer Science, Theory & Methods (31)
- Engineering, Electrical & Electronic (28)
- Exact Sciences And Technology (24)
- Applied Sciences (23)
- Mathematical Models (23)
- Computer Science; Control Theory; Systems (23)
- Computer Science, Information Systems (21)
- Software Engineering (21)
- Computer Programs (21)
- Computer Architecture (20)
- Hardware And Architecture (16)
- Algorithms (15)
- Logiciels (1)
- Ordinateurs (1)
- Técnicas De Programação (Congressos) (1)
- Testen (1)
- Logiciels (1)
- Computer Software (1)
- Qualit Atssicherung (1)
- Modellierung (1)
- Modellgetriebene Entwicklung (1)
- Softwarearchitektur (1)
- Dienstg Ute (1)
- Computer Software (1)
- Contr Ole De Qualit E (1)
- Architecture Logicielle (1)
- Leistungsbewertung (1)
- Testen (1)
- Architecture Logicielle (1)
- Qualit E Du Logiciel (1)
- Arquitetura De Software (Congressos) (1)
-
Mais opções
Autor/Criador
Data de Publicação
- Antes de1999 (8)
- 1999Até2004 (14)
- 2005Até2010 (20)
- 2011Até2016 (28)
- Após 2016 (18)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (56)
- EBSCOhost Computers and Applied Sciences Complete (19)
- IEEE Electronic Library (IEL) Journals (19)
- IEEE Electronic Library (IEL) Conference Proceedings (16)
- ACM Digital Library (15)
- EBSCOhost Business Source Complete (12)
- ScienceDirect Additional Titles (11)
- Springer Nature - Springer Journals All 2022 (11)
- ANTE: Abstracts in New Technology & Engineering (11)
- Springer journals (11)
- Gale Academic OneFile (Gale Reference Complete) (10)
- SpringerLINK Lecture Notes in Computer Science (2015) (8)
- SpringerLINK Lecture Notes in Computer Science (8)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access (8)
- IngentaConnect Journals (3)
- Academic Search Premier (EB_SDU_P3) (3)
- EZB Electronic Journals Library (2)
- World Scientific Journals (2)
- Wiley Online Library - AutoHoldings Journals (1)
- Springer Nature - Springer Computer Science eBooks 2013 English International (1)
-
Mais opções
Nome da Publicação
- Journal Of The Acm (9)
- Ieee Transactions On Computer-Aided Design Of Integrated Circuits And Systems (7)
- Ieee Transactions On Reliability (4)
- Formal Methods In System Design (4)
- The Journal Of Systems And Software (3)
- Ieee Transactions On Software Engineering (2)
- Journal Of Network And Computer Applications (2)
- Ieee Transactions On Dependable And Secure Computing (2)
- International Journal Of Software Engineering And Knowledge Engineering (2)
- Acm Transactions On Architecture And Code Optimization (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 