The idea of a FAABS workshop was first conceived in 1998 at the NASA Goddard Space Flight Center,...

Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyo...

1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in t...

In the early 1990s, NASA Goddard Space Flight Center started researching and developing autonomou...

The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbel...

The second WRAC, NASA IEEE Workshop on Radical Agent Concepts, was held at NASA Goddard Space Fli...

This book constitutes the thoroughly refereed post-proceedings of the First International Worksho...

This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held ...

This book constitutes the refereed proceedings of the 10th International Conference of Z Users, Z...

Errata, detected in Taylor's Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 32...

In the early 1990s, NASA Goddard Space Flight Center started researching and developing autonomou...

Experience from the DARPA Urban Challenge is a compilation of papers from entrants of the race th...