Beyond the Interface

Asaf Degani

Chapter Chapter 17 in Taming HAL, 2003, pp 256-273 from Palgrave Macmillan

Abstract: Abstract The previous chapter was about a systematic methodology for verification of interfaces, making sure that the interfaces are correct for the task. We now take it one step further—analyzing and verifying the underlying system. I will use the same presentation style as before: illustrating a situation that we are all familiar with, and then moving on to analyze a more complex automatic system.

Keywords: Composite Graph; Dark Gray Region; Safe Landing; Unsafe Region; Automatic Landing (search for similar items in EconPapers)
Date: 2003
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:pal:palchp:978-1-4039-8252-0_18

Ordering information: This item can be ordered from
http://www.palgrave.com/9781403982520

DOI: 10.1057/9781403982520_18

Access Statistics for this chapter

More chapters in Palgrave Macmillan Books from Palgrave Macmillan
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().