However, the mechanical aspects of the physical layer (connector type and number, colors, labels, pin-outs) have yet to be formally specified.

The actual voltage to be applied by the bus and which nodes apply to it are application-specific and not formally specified.

Those regions are not formally specified, they do not have elected officials, nor are they corporate bodies.

The condition of intention preservation was not formally specified in the CCI model for purposes of formal proofs.

The correctness responsibilities of these two layers are formally specified by a set of transformation properties and conditions.

Later, video (and subtitle) support were formally specified for Ogg but in a manner incompatible with OGM.

Most of the large collecting museums have not formally specified a date.

The concept of monad programming appeared in the 1980s in the programming language Opal even though it was called "commands" and never formally specified.

This assumption (not formally specified by Cantor) is captured in formal set theory by the axiom of infinity.

One extension has been formally specified by the IETF and published.