Topic
lenguaje de especificación formal utilizado para describir y modelar sistemas de computación, estandarizado en ISO 13568