![](https://media.springernature.com/w90/springer-static/cover/journal/10009/8/6.jpg?as=webp)
Volume 8, Issue 6
November 2006Special Section on Leveraging Applications of Formal Methods (pp 467-603); Special Section on Quantitative Analysis of Real-Time Embedded Systems (pp 605-667)
13 articles in this issue