New paper “H2″ on operating system semantics
Please see a new version here. I am continuing to try to develop a practical engineering mathematics for operating system and other complex system code.
Tags: formal methods, moore machines, operating systems, specification, state machines
No Comments
Comments RSS
TrackBack Identifier URI
No comments. Be the first.
Leave a comment
You must be logged in to post a comment.