Skip to content
keeping simple
@vy@sciencemastodon.com
Menu
Groundbreaking treatise on state machines, paxos, specification
The RTLinux patent 5,995,745
Notes on Security and Common Criteria
Download code
Software quality at toyota
The good stuff starts on page 36
Koopman.
Software quality at toyota
←
A mathematical basis for understanding software modularity
The difference between unspecified, undefined, and non-deterministic
→