Home Research-feed Channel Rankings GCT THU AI TR Open Data Must Reading

views: 0

Hall, B.

Sign in to view more

Show Academic Trajectory

Ego Network

D-Core

Research Interests

Author Statistics

Experience

Education

Bio

None

Papers3 papers

Sort

By YearBy Citation

Language for Unified Verification and Implementation for Distributed Avionics

Benjamin F. Jones,Lee Pike,Srivatsan Varadarajan,Brendan Hall

JOURNAL OF AEROSPACE INFORMATION SYSTEMS, no. 11 (2018): 640-664

Bibtex

Opportunities and challenges for formal methods tools in the certification of avionics software

Devesh Bhatt,Brendan Hall, Anitha Murugesan,David Oglesby, Eric Bush,Eric Engstrom,Joseph Mueller, Michael Pelican

ieee aerospace conference, (2017)

Bibtex

Verification and validation of flight critical systems (VVFCS)

Hall, B.,Driscoll, K.,Schweiker, K.

Digital Avionics Systems Conference, pp.1-18, (2012)

EIWOSBibtex

View All

Base Info Papers Patents Projects