acm sigbed
|
emsoft
|
participants
Steven D. Johnson
Program Committees:
2005
.
EMSOFT 2005: 5th ACM International Conference on Embedded Software
The Formal Verification of a Reintegration Protocol
Lee Pike
and
Steven D. Johnson
10.1145/1086228.1086280
https://leepike.github.io/pubs/emsoft.pdf