Exploring a Methodology for Formal Verification of Safety-Critical Systems von Sheridan, Oisín

Volltext

FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller von Farrell, Marie, Luckcuck, Matt, Sheridan, Oisín, Monahan, Rosemary

Volltext

FRETting and Formal Modelling: A Mechanical Lung Ventilator von Farrell, Marie, Luckcuck, Matt, Monahan, Rosemary, Reynolds, Conor, Sheridan, Oisín

Volltext

Towards Refactoring FRETish Requirements von Farrell, Marie, Luckcuck, Matt, Sheridan, Oisín, Monahan, Rosemary

Volltext

A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller von Sheridan, Oisín, Monahan, Rosemary, Luckcuck, Matt

Volltext

Why just FRET when you can Refactor? Retuning FRETISH Requirements von Luckcuck, Matt, Farrell, Marie, Sheridan, Oisín

Volltext bestellen

A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements von Luckcuck, Matt, Farrell, Marie, Sheridan, Oisín, Monahan, Rosemary

Volltext bestellen

Adventures in FRET and Specification von Farrell, Marie, Luckcuck, Matt, Monahan, Rosemary, Reynolds, Conor, Sheridan, Oisín

Volltext

Why just FRET when you can Refactor? Retuning FRETISH Requirements von Luckcuck, Matt, Farrell, Marie, Sheridan, Oisín

Volltext

A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements von Luckcuck, Matt, Farrell, Marie, Sheridan, Oisín, Monahan, Rosemary

Volltext

FRETting and Formal Modelling: A Mechanical Lung Ventilator von Farrell, Marie, Luckcuck, Matt, Monahan, Rosemary, Reynolds, Conor, Sheridan, Oisin

Volltext bestellen

Towards Refactoring FRETish Requirements von Farrell, Marie, Luckcuck, Matt, Sheridan, Oisin, Monahan, Rosemary

Volltext bestellen

FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller von Farrell, Marie, Luckcuck, Matt, Sheridan, Oisin, Monahan, Rosemary

Volltext bestellen

FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller von Farrell, Marie, Luckcuck, Matt, Sheridan, Oisin, Monahan, Rosemary

Volltext

Towards Refactoring FRETish Requirements von Farrell, Marie, Luckcuck, Matt, Sheridan, Oisin, Monahan, Rosemary

Volltext

ComhaltasLive #235 - 3: Innisfree Céilí Band Reels from the 2007 All-Ireland von Willie Fogarty

Volltext bestellen

ComhaltasLive #233 - 2: The Innisfree and Ceoltóirí na Mainstreach Céilí Bands von Willie Fogarty

Volltext bestellen

The Determinants of Marathon Performance: An Observational Analysis of Anthropometric, Pre-race and In-race Variables von Keogh, Alison, Sheridan, Olwyn O'Connor, McCaffrey, OisÍn, Dunne, SÍofra, Lally, Alanna, Doherty, Cailbhe

Volltext

Human uterine natural killer cells regulate differentiation of extravillous trophoblast early in pregnancy von Li, Qian, Sharkey, Andrew, Sheridan, Megan, Magistrati, Elisa, Arutyunyan, Anna, Huhn, Oisin, Sancho-Serra, Carmen, Anderson, Holly, McGovern, Naomi, Esposito, Laura, Fernando, Ridma, Gardner, Lucy, Vento-Tormo, Roser, Turco, Margherita Yayoi, Moffett, Ashley

Volltext

XUV spectra of 2nd transition row elements: identification of 3d-4p and 3d-4f transition arrays von Lokasani, Ragava, Long, Elaine, Maguire, Oisin, Sheridan, Paul, Hayden, Patrick, O'Reilly, Fergal, Dunne, Padraig, Sokell, Emma, Endo, Akira, Limpouch, Jiri, O'Sullivan, Gerry

Volltext