scholarly journals Engineering without Borders: Formal Methods for Systems Design Demand Multidisciplinary Toolchains

2015 ◽  
Vol 187 ◽  
Author(s):  
John Fitzgerald
Keyword(s):  
Formal Methods ◽  
Systems Design

Formal Methods in Resilient Systems Design: Application to Multi-UAV System-of-Systems Control

2017 ◽  
pp. 407-418 ◽  
Author(s):  
Azad M. Madni ◽  
Michael W. Sievers ◽  
James Humann ◽  
Edwin Ordoukhanian ◽  
Barry Boehm ◽  
...  
Keyword(s):  
Formal Methods ◽  
Systems Design ◽  
System Of Systems ◽  
Systems Control ◽  
Multi Uav

Toward a wider use of formal methods for aerospace systems design and verification

2009 ◽  
Vol 12 (1) ◽  
pp. 1-7 ◽  
Author(s):  
Yamine Ait Ameur ◽  
Frédéric Boniol ◽  
Virginie Wiels
Keyword(s):  
Formal Methods ◽  
Systems Design ◽  
Aerospace Systems

Fundamentals of Electro-Optic Systems Design

2012 ◽  
Author(s):  
Sherman Karp ◽  
Larry B. Stotts
Keyword(s):  
Systems Design ◽  
Electro Optic ◽  
Optic Systems

Current State of Human Factors in Systems Design

2011 ◽  
Author(s):  
Karen Feigh ◽  
Zarrin Chua ◽  
Chaya Garg ◽  
Alan Jacobsen ◽  
John O'Hara ◽  
...  
Keyword(s):  
Human Factors ◽  
Systems Design ◽  
Current State

Application of formal methods to the VIPER microprocessor

1987 ◽  
Vol 134 (3) ◽  
pp. 133 ◽  
Author(s):  
W.J. Cullyer ◽  
C.H. Pygott
Keyword(s):  
Formal Methods

Component flow analysis — an effective approach to production systems' design

1972 ◽  
Vol 51 (5) ◽  
pp. 165 ◽  
Author(s):  
I.G.K. Ei-Essawy ◽  
J. Torrance
Keyword(s):  
Production Systems ◽  
Flow Analysis ◽  
Systems Design
Sign in / Sign up

Export Citation Format

Share Document