skip to main content
Idioma:
Resultados 1 2 3 4 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
B 2007 formal specification and development in B : 7th International Conference of B Users, Besan con, France, January 17-19, 2007 : proceedings
B 2007 formal specification and development in B : 7th International Conference of B Users, Besan con, France, January 17-19, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

B 2007 formal specification and development in B : 7th International Conference of B Users, Besan con, France, January 17-19, 2007 : proceedings

International B Conference (7th 2007 Besan con, France) Jacques Julliand; Olga Kouchnarenko

OhioLINK electronic book center (OCoLC)180989150 ; SpringerLink (OCoLC)43927870

Berlin Springer New York c2006

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

2
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications

Armando, A. ; Basin, D. ; Boichut, Y. ; Chevalier, Y. ; Compagna, L. ; Cuellar, J. ; Drielsma, P. Hankes ; Heám, P. C. ; Kouchnarenko, O. ; Mantovani, J. ; Mödersheim, S. ; von Oheimb, D. ; Rusinowitch, M. ; Santiago, J. ; Turuani, M. ; Viganò, L. ; Vigneron, L. Rajamani, Sriram K. ; Etessami, Kousha

Computer Aided Verification, 2005, p.281-285 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
3
Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies
Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies
Material Type:
Artigo 		Adicionar ao Meu Espaço

Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies

Dadeau, F. ; Gros, J.-Ph ; Kouchnarenko, O.

Automatic control and computer sciences, 2022-12, Vol.56 (7), p.606-622 [Periódico revisado por pares]

Moscow: Pleiades Publishing

Texto completo disponível

Citações Citado por
4
Test Generation from Event System Abstractions to Cover Their States and Transitions
Test Generation from Event System Abstractions to Cover Their States and Transitions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Test Generation from Event System Abstractions to Cover Their States and Transitions

Julliand, J. ; Kouchnarenko, O. ; Masson, P. A. ; Voiron, G.

Programming and computer software, 2018, Vol.44 (1), p.1-14 [Periódico revisado por pares]

Moscow: Pleiades Publishing

Texto completo disponível

Citações Citado por
5
Component-based Systems Reconfigurations Using Graph Grammars
Component-based Systems Reconfigurations Using Graph Grammars
Material Type:
Artigo 		Adicionar ao Meu Espaço

Component-based Systems Reconfigurations Using Graph Grammars

Kouchnarenko, O. ; Weber, J.-F.

Modeling and Analysis of Information Systems, 2016, Vol.23 (6), p.804-825 [Periódico revisado por pares]

a

Texto completo disponível

Citações Citado por
6
Checking Business Process Evolution
Checking Business Process Evolution
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Checking Business Process Evolution

Poizat, Pascal ; Salaün, Gwen ; Krishna, Ajay Kouchnarenko, Olga ; Khosravi, Ramtin

Formal Aspects of Component Software, p.36-53 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
7
A Core Model for Choreographic Programming
A Core Model for Choreographic Programming
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Core Model for Choreographic Programming

Cruz-Filipe, Luís ; Montesi, Fabrizio Kouchnarenko, Olga ; Khosravi, Ramtin

Formal Aspects of Component Software, p.17-35 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
8
Verification of class liveness properties with Java modelling language
Verification of class liveness properties with Java modelling language
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verification of class liveness properties with Java modelling language

GIORGETTI, A ; GROSLAMBERT, J ; JULLIAND, J ; KOUCHNARENKO, O

IET software, 2008, Vol.2 (6), p.500-514 [Periódico revisado por pares]

Stevenage: Institution of Engineering and Technology

Sem texto completo

Citações Citado por
9
Validated Test Models for Software Product Lines: Featured Finite State Machines
Validated Test Models for Software Product Lines: Featured Finite State Machines
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Validated Test Models for Software Product Lines: Featured Finite State Machines

Hafemann Fragal, Vanderson ; Simao, Adenilso ; Mousavi, Mohammad Reza Kouchnarenko, Olga ; Khosravi, Ramtin

Formal Aspects of Component Software, 2016, p.210-227 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
10
From Formal Methods to Software Components: Back to the Future?
From Formal Methods to Software Components: Back to the Future?
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

From Formal Methods to Software Components: Back to the Future?

Lau, Kung-Kiu Kouchnarenko, Olga ; Khosravi, Ramtin

Formal Aspects of Component Software, p.10-14 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (16)
  2. Book Chapters  (12)
  3. Artigos  (9)
  4. Livros  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2003  (5)
  2. 2003Até2005  (6)
  3. 2006Até2009  (6)
  4. 2010Até2016  (5)
  5. Após 2016  (18)
  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.