Dagstuhl Seminar on Practical Methods for Code Documentation and Inspection

Abstract

State Machine (ASM) Specification of Embedded Control Systems: Documentation and Validation 

Topics

Cite this paper

@inproceedings{Brger2008DagstuhlSO, title={Dagstuhl Seminar on Practical Methods for Code Documentation and Inspection}, author={Egon B{\"o}rger and Dave Parnas and Paul Joannou}, year={2008} }