[<<][softarch][>>][..]Sat Sep 29 23:09:36 CEST 2018
There are two apparent approaches to model-based design: - Explict: generate code directly from model - Implicit: use model to validate implementation (through proof or statistics)
[Reply][About]
[<<][softarch][>>][..]