Independent technical publication 01

From formal models to reliable computational systems

A structured library about models, algorithms, enterprise systems and the engineering judgment required to make them dependable.

Intellectual map

Logic → Models → Algorithms → Systems

The publication follows the path from a precise problem statement to a result that can survive real constraints.