Hasil Pencarian - Alexandre Arnold
- Menampilkan 1 - 7 hasil dari 7
-
1
Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach oleh Alexandre Arnold, Benoît Boyer, Axel Legay
Diterbitkan 2013-11-01Dapatkan teks lengkap
Artikel -
2
SoS contract verification using statistical model checking oleh Alessandro Mignogna, Leonardo Mangeruca, Benoît Boyer, Axel Legay, Alexandre Arnold
Diterbitkan 2013-11-01Dapatkan teks lengkap
Artikel -
3
An Application of SMC to continuous validation of heterogeneous systems oleh Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
Diterbitkan 2017-02-01Dapatkan teks lengkap
Artikel -
4
An Application of SMC to continuous validation of heterogeneous systems oleh Alexandre Arnold, Massimo Beleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
Diterbitkan 2017-12-01Dapatkan teks lengkap
Artikel -
5
-
6
Early changes in myocyte contractility and cardiac function in streptozotocin-induced type 1 diabetes in rats. oleh Gustavo S Marchini, Ismar N Cestari, Vera M C Salemi, Maria Claudia Irigoyen, Alexandre Arnold, Adélia Kakoi, Camila Rocon, Vera D Aiello, Idágene A Cestari
Diterbitkan 2020-01-01Dapatkan teks lengkap
Artikel -
7
Histidine dipeptides are key regulators of excitation-contraction coupling in cardiac muscle: Evidence from a novel CARNS1 knockout rat model oleh Lívia de Souza Gonçalves, Lucas Peixoto Sales, Tiemi Raquel Saito, Juliane Cruz Campos, Alan Lins Fernandes, José Natali, Leonardo Jensen, Alexandre Arnold, Lisley Ramalho, Luiz Roberto Grassmann Bechara, Marcos Vinicius Esteca, Isis Correa, Diogo Sant'Anna, Alexandre Ceroni, Lisete Compagno Michelini, Bruno Gualano, Walcy Teodoro, Victor Henrique Carvalho, Bianca Scigliano Vargas, Marisa Helena Gennari Medeiros, Igor Luchini Baptista, Maria Cláudia Irigoyen, Craig Sale, Julio Cesar Batista Ferreira, Guilherme Giannini Artioli
Diterbitkan 2021-08-01Dapatkan teks lengkap
Artikel