Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical Systems von Diogo Couto, Luís, Basagiannis, Stylianos, Ridouane, El Hassan, Zavaglio, Erica, Antonante, Pasquale, Saada, Hajer, Falleni, Sara

Volltext

Towards Enabling Overture as a Platform for Formal Notation IDEs von Couto, Luís Diogo, Larsen, Peter Gorm, Hasanagić, Miran, Kanakis, Georgios, Lausdahl, Kenneth, Tran-Jørgensen, Peter W. V.

Volltext

Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems von Couto, Luís Diogo, Basagiannis, Stylianos, Ridouane, El Hassan, Mady, Alie El-Din, Hasanagic, Miran, Larsen, Peter Gorm

Volltext

Enabling continuous integration in a formal methods setting von Couto, Luis Diogo, Tran-Jørgensen, Peter W. V., Nilsson, René S., Larsen, Peter Gorm

Volltext

Modelling patterns for systems of systems architectures von Ingram, Claire, Payne, Richard, Perry, Simon, Holt, Jon, Hansen, Finn Overgaard, Couto, Luis Diogo

Volltext bestellen

On Extensibility of Software Systems von Couto, Luís Diogo

Volltext

Model-based Engineering of Emergence in a Collaborative SoS: Exploiting SysML & Formalism von Ingram, Claire, Payne, Richard, Fitzgerald, John, Couto, Luis Diogo

Volltext

Model-based Engineering of Emergence in a Collaborative SoS: Exploiting SysML & Formalism von Ingram, Claire, Payne, Richard, Fitzgerald, John, Couto, Luis Diogo

Volltext

Model-Based Development of a Multi-algorithm Harvest Planning System von Couto, Luis Diogo, Tran-Jørgensen, Peter W. V., Edwards, Gareth T. C.

Volltext

Towards Enabling Overture as a Platform for Formal Notation IDEs von Couto, Luís Diogo, Peter Gorm Larsen, Hasanagić, Miran, Kanakis, Georgios, Lausdahl, Kenneth, Tran-Jørgensen, Peter W V

Volltext

Automated renewal of certificates across a distributed computing security system von Couto, Luis Diogo Monteiro Duarte, Dorney, Ciarán James, O'Mahony, Finbar, Depping, Ralph Hans, Smith, Jordan

Volltext bestellen

Towards Verification of Constituent Systems through Automated Proof von Couto, Luis Diogo, Foster, Simon, Payne, Richard

Volltext bestellen

AUTOMATED RENEWAL OF CERTIFICATES ACROSS A DISTRIBUTED COMPUTING SECURITY SYSTEM von Couto, Luis Diogo Monteiro Duarte, Dorney, Ciarán James, O'Mahony, Finbar, Depping, Ralph Hans, Smith, Jordan

Volltext bestellen

Towards Verification of Constituent Systems through Automated Proof von Couto, Luis Diogo, Foster, Simon, Payne, Richard

Volltext

Effect of different types of exercise in adult subjects with fibromyalgia: a systematic review and meta-analysis of randomised clinical trials von Couto, Nuno, Monteiro, Diogo, Cid, Luís, Bento, Teresa

Volltext

LDL-cholesterol goal achievement in familial hypercholesterolemia patients followed at a secondary hospital von Távora, Catarina, Couto, Francisca, Luís, Francisco, Santos, Joana, Cruz, Diogo

Volltext

Assessment in Sport and Exercise Psychology: Considerations and Recommendations for Translation and Validation of Questionnaires von Cid, Luis, Monteiro, Diogo, Teixeira, Diogo Santos, Evmenenko, Anastasiia, Andrade, Ana, Bento, Teresa, Vitorino, Anabela, Couto, Nuno, Rodrigues, Filipe

Volltext

Clinical Trials in Portugal: Past and Future. Position Paper from the Colleges of Clinical Pharmacology and Pharmaceutical Medicine von Borges-Carneiro, Filipa, Torre Souto, Miguel, Silva, Isabel, Leão Moreira, Paula, Ferraz de Oliveira, Paula, Lopes, Diogo José, Figueira, Luís, Reina-Couto, Marta, Cunha-Miranda, Luís, Ponces Bento, Diogo, Magro, Fernando

Volltext

Analysing the Relation between Passion, Motivation, and Subjective Well-Being in Sport: A Systematic Review von Bento, Teresa, Vitorino, Anabela, Cid, Luís, Monteiro, Diogo, Couto, Nuno

Volltext

The importance of implementing non-pharmacological measures von Couto, Francisca Sá, Andrade, Margarida, Freire, Sara, Távora, Catarina, Luis, Francisco Próspero, Cruz, Diogo

Volltext