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...

This book constitutes the refereed proceedings of the First International Conference on Artificia...

This book constitutes the refereed proceedings of the First International Conference on Artificia...

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

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engi...