Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach by Alexandre Arnold, Benoît Boyer, Axel Legay

Get full text

SoS contract verification using statistical model checking by Alessandro Mignogna, Leonardo Mangeruca, Benoît Boyer, Axel Legay, Alexandre Arnold

Get full text

An Application of SMC to continuous validation of heterogeneous systems by Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien

Get full text

An Application of SMC to continuous validation of heterogeneous systems by Alexandre Arnold, Massimo Beleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien

Get full text

Ganho funcional em idosos após participação em um programa de exercícios multicomponentes by Liver Alexandre Arnold Priario, Paola Rafaela Cabreira Vieira, Renato Ribeiro Azevedo, Fernando Gomes Ceccon, Felipe Pivetta Carpes

Get full text

Early changes in myocyte contractility and cardiac function in streptozotocin-induced type 1 diabetes in rats. by 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

Get full text

Histidine dipeptides are key regulators of excitation-contraction coupling in cardiac muscle: Evidence from a novel CARNS1 knockout rat model by 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

Get full text