Search

Select theme:

Shopping cart

Subtotal
$97.00
View cart Checkout

Saved articles

You have not yet added any article to your bookmarks!

Browse articles
Newsletter image

Subscribe to the Newsletter

Join 10k+ people to get notified about new posts, news and tips.

Do not worry we don't spam!

GDPR Compliance

We use cookies to ensure you get the best experience on our website. By continuing to use our site, you accept our use of cookies, Privacy Policy, and Terms of Service.

  • Home
FM 2008: Formal Methods

FM 2008: Formal Methods

By Jorge Cuellar & Tom Maibaum Software 05/06/2008

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008.

The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.

Read More
More Books from Jorge Cuellar & Tom Maibaum
Apocalipsis Ilustrado Jorge Cuellar
Apocalipsis Ilustrado
Location Privacy in Wireless Sensor Networks Ruben Rios, Javier Lopez & Jorge Cuellar
Location Privacy in Wireless Sensor Networks
Security and Trust Management Jorge Cuellar, Javier Lopez, Gilles Barthe & Alexander Pretschner
Security and Trust Management
Smart Grid Security Jorge Cuellar
Smart Grid Security
FM 2008: Formal Methods Jorge Cuellar & Tom Maibaum
FM 2008: Formal Methods
Comments