mbse.cool: Languages | Methods | Tools | Vendors
formal specification language used for describing and modelling computing systems, standardized in ISO 13568
—
TODO · Colophon