Formal Methods for Developing High Assurance Computer Systems: Working Group Report

Mapping Intimacies ◽

10.21236/ada464973 ◽

1998 ◽

Cited By ~ 1

Author(s):

Mats P. Heimdahl ◽

Constance L. Heitmeyer

Keyword(s):

Formal Methods ◽

Working Group ◽

Computer Systems ◽

Group Report ◽

High Assurance

Download Full-text

Formal methods for developing high assurance computer systems: working group report

Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques ◽

10.1109/wift.1998.766298 ◽

2002 ◽

Cited By ~ 2

Author(s):

M.P.E. Heimdahl ◽

C.L. Heitmeyer

Keyword(s):

Formal Methods ◽

Working Group ◽

Computer Systems ◽

Group Report ◽

High Assurance

Download Full-text

WIFT '98 working group report: incorporating formal methods into industrial processes

Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques ◽

10.1109/wift.1998.766307 ◽

2002 ◽

Author(s):

F. Weil

Keyword(s):

Formal Methods ◽

Working Group ◽

Industrial Processes ◽

Group Report

Download Full-text

Erratum to Working Group Report: Cardiology/cardiac surgery/vascular surgery - evolution to one speciality? S76-S77

European Journal of Cardio-Thoracic Surgery Supplements ◽

10.1016/s1567-4258(05)00002-9 ◽

2004 ◽

Vol 26 (1) ◽

pp. I-I

Keyword(s):

Cardiac Surgery ◽

Vascular Surgery ◽

Working Group ◽

Group Report

Download Full-text

Faculty Opinions recommendation of NIH working group report-using genomic information to guide weight management: From universal to precision treatment.

Faculty Opinions – Post-Publication Peer Review of the Biomedical Literature ◽

10.3410/f.726034329.793512756 ◽

2015 ◽

Author(s):

Phyllis Speiser

Keyword(s):

Weight Management ◽

Working Group ◽

Genomic Information ◽

Group Report

Download Full-text

Faculty Opinions recommendation of Acute exacerbation of idiopathic pulmonary fibrosis. an international working group report.

Faculty Opinions – Post-Publication Peer Review of the Biomedical Literature ◽

10.3410/f.726421746.793524896 ◽

2016 ◽

Author(s):

Jay H Ryu

Keyword(s):

Idiopathic Pulmonary Fibrosis ◽

Pulmonary Fibrosis ◽

Acute Exacerbation ◽

Working Group ◽

International Working Group ◽

Group Report

Download Full-text

High Assurance Computer Systems: A Research Agenda

10.21236/ada465571 ◽

1995 ◽

Cited By ~ 6

Author(s):

John McLean ◽

Constance Heitmeyer

Keyword(s):

Research Agenda ◽

Computer Systems ◽

High Assurance

Download Full-text

Project on National Security Reform: Vision Working Group Report and Scenarios

10.21236/ada526455 ◽

2010 ◽

Cited By ~ 1

Author(s):

Sheila R. Ronis

Keyword(s):

National Security ◽

Working Group ◽

Group Report

Download Full-text

REMOVED: National Institutes of Health Consensus Development Project on Criteria for Clinical Trials in Chronic Graft-versus-Host Disease: IIb. The 2020 Preemptive Therapy Working Group Report

Transplantation and Cellular Therapy ◽

10.1016/j.jtct.2021.03.029 ◽

2021 ◽

Author(s):

Joseph Pidala ◽

Carrie Kitko ◽

Stephanie J. Lee ◽

Paul Carpenter ◽

Geoffrey D.E. Cuvelier ◽

...

Keyword(s):

Clinical Trials ◽

Graft Versus Host Disease ◽

Working Group ◽

Development Project ◽

National Institutes Of Health ◽

Preemptive Therapy ◽

Consensus Development ◽

Host Disease ◽

Graft Versus Host ◽

Group Report

Download Full-text

Bibliography of FACTS: 2006–2007 Part III IEEE working group report

IEEE PES General Meeting ◽

10.1109/pes.2010.5589685 ◽

2010 ◽

Author(s):

Iurie Axente ◽

Rajiv. K. Varma ◽

Wayne H. Litzenberger

Keyword(s):

Working Group ◽

Group Report

Download Full-text

Experimental techniques and observations working group report

10.1063/1.48966 ◽

1995 ◽

Author(s):

W. Scandale

Keyword(s):

Working Group ◽

Experimental Techniques ◽

Group Report

Download Full-text