SDL 2007: Design for Dependable Systems: 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings

Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris ...
Author:  Emmanuel Gaudin |  Élie Najm |  Rick Reed

40 downloads 592 Views 8MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

Recommend Documents

Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris ...

Lecture Notes in Artificial Intelligence Edited by J. G. Carbonell and J. Siekmann Subseries of Lecture Notes in Comput...

SDL '99 THE NEXT MILLENNIUM This Page Intentionally Left Blank SDL '99 THE N E X T M I L L E N N I U M Proceedings...

SDL '97 TIME FOR TESTING SDL. MSC and Trends This Page Intentionally Left Blank SDL '97 TIME FOR TESTING SDL, MSC a...

00 FO SDL Frontmatter 10/21/02 11:52 AM Page i Focus On SDL Ernest Pazera Team LRN 00 FO SDL Frontmatter 10/21...

Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris ...

Lecture Notes in Artificial Intelligence Edited by J. G. Carbonell and J. Siekmann Subseries of Lecture Notes in Comput...

Validation of Communications Systems with SDL Validation of Communications Systems with SDL The Art of SDL Simulation...

P O R T A B L E Paris 2007 by Darwin Porter & Danforth Prince Here’s what critics say about Frommer’s: “Amazingly ea...