skip to main content
Idioma:
Resultados 1 2 3 4 5 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
Testing adaptation policies for software components
Testing adaptation policies for software components
Material Type:
Artigo 		Adicionar ao Meu Espaço

Testing adaptation policies for software components

Dadeau, Frédéric ; Gros, Jean-Philippe ; Kouchnarenko, Olga

Software quality journal, 2020-09, Vol.28 (3), p.1347-1378 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

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, Frederic ; Gros, Jean-Philippe ; Kouchnarenko, Olga

Modelirovanie i analiz informacionnyh sistem, 2021-03, Vol.28 (1), p.52-73 [Periódico revisado por pares]

Yaroslavl State University

Texto completo disponível

Citações Citado por
4
Component Substitution through Dynamic Reconfigurations
Component Substitution through Dynamic Reconfigurations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Component Substitution through Dynamic Reconfigurations

Lanoix, Arnaud ; Kouchnarenko, Olga

Electronic proceedings in theoretical computer science, 2014-04, Vol.147 (Proc. FESCA 2014), p.32-46

Open Publishing Association

Texto completo disponível

Citações Citado por
5
Selected and extended papers from FACS 2016
Selected and extended papers from FACS 2016
Material Type:
Artigo 		Adicionar ao Meu Espaço

Selected and extended papers from FACS 2016

Kouchnarenko, Olga ; Madelaine, Eric

Science of computer programming, 2019-06, Vol.178, p.43-44 [Periódico revisado por pares]

Elsevier B.V

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
Using CSP||B Components: Application to a Platoon of Vehicles
Using CSP||B Components: Application to a Platoon of Vehicles
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Using CSP||B Components: Application to a Platoon of Vehicles

Colin, Samuel ; Lanoix, Arnaud ; Kouchnarenko, Olga ; Souquières, Jeanine Fantechi, Alessandro ; Cofer, Darren

Formal Methods for Industrial Critical Systems, p.103-118 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
8
Verifying Modal Workflow Specifications Using Constraint Solving
Verifying Modal Workflow Specifications Using Constraint Solving
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Verifying Modal Workflow Specifications Using Constraint Solving

Bride, Hadrien ; Kouchnarenko, Olga ; Peureux, Fabien Sekerinski, Emil ; Albert, Elvira

Integrated Formal Methods, 2014 (8739), p.171-186 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
9
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
10
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
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. Anais de Congresso  (94)
  2. Artigos  (39)
  3. Book Chapters  (35)
  4. Reports  (17)
  5. Recursos Textuais  (5)
  6. Dissertações  (2)
  7. Livros  (2)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2004  (14)
  2. 2004Até2008  (58)
  3. 2009Até2013  (55)
  4. 2014Até2019  (51)
  5. Após 2019  (9)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (187)
  2. Francês  (7)
  3. Japonês  (2)
  4. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. International B Conference
  2. Kouchnarenko, O
  3. Julliand, J

Neste Assunto:

  1. Computer Science
  2. Software Engineering
  3. Science & Technology
  4. Technology
  5. Modeling And Simulation

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

Buscando em bases de dados remotas. Favor aguardar.