Idioma:

9 Resultados para Busca Geral

Ordenado por: Ordenado por: Data mais antigaOr hit Enter to replace sort method

Refinado por: assunto: Model Checking

Result Number	Material Type	Record Details and Options
1	Material Type: Artigo	Some computational aspects of circumscription KOLAITIS, P. G ; PAPADIMITRIOU, C. H Journal of the ACM, 1990-01, Vol.37 (1), p.1-14 [Periódico revisado por pares] New York, NY: Association for Computing Machinery Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
2	Material Type: Artigo	The complexity of probabilistic verification COURCOUBETIS, C ; YANNAKAKIS, M Journal of the ACM, 1995-07, Vol.42 (4), p.857-907 [Periódico revisado por pares] New York, NY: Association for Computing Machinery Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
3	Material Type: Artigo	The benefits of relaxing punctuality ALUR, R ; FEDER, T ; HENZINGER, T. A Journal of the ACM, 1996, Vol.43 (1), p.116-146 [Periódico revisado por pares] New York, NY: Association for Computing Machinery Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
4	Material Type: Artigo	Formal verification of standards for distance vector routing protocols Bhargavan, Karthikeyan ; Obradovic, Davor ; Gunter, Carl A Journal of the ACM, 2002-07, Vol.49 (4), p.538-576 [Periódico revisado por pares] New York: Association for Computing Machinery Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
5	Material Type: Artigo	Defining Fairness in Reactive and Concurrent Systems VOLZER, Hagen ; RESEARCH, Ibm ; VARACCA, Daniele Journal of the ACM, 2012-06, Vol.59 (3), p.1-37 [Periódico revisado por pares] New York, NY: Association for Computing Machinery Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
6	Material Type: Artigo	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 Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
7	Material Type: Artigo	MODELING AND VERIFYING COMPOSITE DYNAMIC EVOLUTION OF SOFTWARE ARCHITECTURES USING HYPERGRAPH GRAMMARS XU, HONGZHEN ; ZENG, GUOSUN International journal of software engineering and knowledge engineering, 2013-08, Vol.23 (6), p.775-799 [Periódico revisado por pares] Singapore: World Scientific Publishing Company Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
8	Material Type: Artigo	An architectural approach to the analysis, verification and validation of software intensive embedded systems Chen, DeJiu ; Feng, Lei ; Qureshi, Tahir Naseer ; Lönn, Henrik ; Hagl, Frank Computing, 2013-08, Vol.95 (8), p.649-688 [Periódico revisado por pares] Vienna: Springer Vienna Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
9	Material Type: Artigo	Integrated Formal Tools for Software Architecture Smell Detection Chondamrongkul, Nacha ; Sun, Jing ; Warren, Ian ; Lee, Scott Uk-Jin International journal of software engineering and knowledge engineering, 2020-06, Vol.30 (6), p.723-763 [Periódico revisado por pares] Singapore: World Scientific Publishing Company Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por