mbse.cool: Languages | Methods | Tools | Vendors
Language Of Temporal Ordering Specification
formal specification language in computer science
- Instance of
- specification language
- Listed in
- Specification languages
- Wikipedia
- Language of Temporal Ordering Specification
- Wikidata
- Q1805432 (edit)
Methods
—
Tools
—
TODO · Colophon