skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Learning finite state machine models of evolving systems: From evolution over time to variability in space
Learning finite state machine models of evolving systems: From evolution over time to variability in space
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Learning finite state machine models of evolving systems: From evolution over time to variability in space

Damasceno, Carlos Diego Nascimento

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2020-07-03

Acesso online

2
Topics in Theoretical Computer Science: Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
Topics in Theoretical Computer Science: Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Topics in Theoretical Computer Science: Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Mousavi, Mohammad Reza ; Sgall, Jiri Mousavi, Mohammad Reza ; Sgall, Jiř ; Mousavi, Mohammad Reza ; Sgall, Jiří

Netherlands: Springer Nature 2017

Sem texto completo

Citações Citado por
3
Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings
Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings

Berger, Christian ; Mousavi, Mohammad Reza Mousavi, Mohammad Reza ; Berger, Christian ; Mousavi, Mohammad Reza ; Berger, Christian ; Berger, Christian ; Mousavi, Mohammad Reza

Effective Model-Based Testing of Parallel Systems (EFFEMBAC), 2015, Vol.9361 [Periódico revisado por pares]

Cham: Springer Nature

Texto completo disponível

Citações Citado por
4
Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings

Mousavi, Mohammad Reza ; Philippou, Anna

Springer International Publishing 2022

Sem texto completo

Citações Citado por
5
Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings
Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings

Massoni, Tiago ; Mousavi, Mohammad Reza Massoni, Tiago ; Mousavi, Mohammad Reza

Netherlands: Springer Nature 2018

Sem texto completo

Citações Citado por
6
Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings

Mousavi, Mohammad Reza ; Philippou, Anna

Cham: Springer International Publishing 2022

Sem texto completo

Citações Citado por
7
Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Massoni, Tiago ; Mousavi, Mohammad Reza

Cham: Springer International Publishing 2018

Sem texto completo

Citações Citado por
8
Cyber Physical Systems. Design, Modeling, and Evaluation: 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Cyber Physical Systems. Design, Modeling, and Evaluation: 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Cyber Physical Systems. Design, Modeling, and Evaluation: 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

Berger, Christian ; Mousavi, Mohammad Reza ; Wisniewski, Rafael Mousavi, Mohammad Reza ; Wisniewski, Rafael ; Berger, Christian

Netherlands: Springer Nature 2017

Sem texto completo

Citações Citado por
9
Topics in Theoretical Computer Science: The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers
Topics in Theoretical Computer Science: The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Topics in Theoretical Computer Science: The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

Hajiaghayi, Mohammed Taghi ; Mousavi, Mohammad Reza Hajiaghayi, Mohammed Taghi ; Mousavi, Mohammad Reza

Netherlands: Springer Nature 2016

Texto completo disponível

Citações Citado por
10
Topics in Theoretical Computer Science: The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers
Topics in Theoretical Computer Science: The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Topics in Theoretical Computer Science: The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

Hajiaghayi, Mohammad Taghi ; Mousavi, Mohammad Reza ; Hajiaghayi, Mohammad Taghi ; Mousavi, Mohammad Reza

eLLIIT – The Linköping – Lund Initiative on IT and Mobile Communication, 2016, Vol.9541 [Periódico revisado por pares]

Cham: Springer International Publishing

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.   

Mostrar Somente

  1. Recursos Online (176)
  2. Revistas revisadas por pares (130)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (127)
  2. Anais de Congresso  (76)
  3. Book Chapters  (16)
  4. Livros  (13)
  5. Reports  (4)
  6. Recursos Textuais  (1)
  7. Produções Acadêmicas  (1)
  8. magazinearticle  (1)
  9. Web Resources  (1)
  10. Resenhas  (1)
  11. Mais opções open sub menu

Autor/Criador 

  1. Simão, A  (1)
  2. Mousavi, M  (1)
  3. Damasceno, C  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2005  (11)
  2. 2005Até2009  (27)
  3. 2010Até2014  (63)
  4. 2015Até2020  (96)
  5. Após 2020  (50)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (235)
  2. Persa  (6)
  3. Japonês  (3)
  4. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Simão, A
  2. Mousavi, M
  3. Damasceno, C

Neste Assunto:

  1. Science & Technology
  2. Computer Science
  3. Technology
  4. Computer Science, Theory & Methods
  5. Computer Science, Software Engineering

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

Buscando em bases de dados remotas. Favor aguardar.