10275 search results - page 211 / 2055 » Case Studies of Autonomy |
175
click to vote
ICECCS
1999
IEEE
15 years 10 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
189
click to vote
AC
1999
Springer
15 years 10 months ago
1999
Springer
Prior to 1994, student registration at Newcastle University involved students being registered in a single place, where they would present a form which had previously been filled ...