| Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality | |
|---|---|
| Author | |
| Year of Publication |
2006
|
| Conference Name |
13th Annual IEEE International Conference on the Engineering of Computer Based Systems
|
| Date Published |
March
|
| Conference Location |
Potsdam, Germany
|
| Attachments |
Document
|
| Google Scholar | BibTeX | XML | |