E-LOTOS
In computer science E-LOTOS (Enhanced LOTOS) is a formal specification language designed between 1993 and 1999, and standardized by ISO in 2001. E-LOTOS was initially intended to be a revision of the LOTOS language standardized by ISO 8807 in 1989, but the revision turned out to be profound, leading to a new specification language. The starting point for the revision of LOTOS was the PhD thesis of Ed Brinksma, who had been the Rapporteur at ISO of the LOTOS standard. In 1993, the initial goals of the definition of E-LOTOS were stated in ISO/IEC JTC1/N2802 announcement.
Link from a Wikipage to another Wikipage
primaryTopic
E-LOTOS
In computer science E-LOTOS (Enhanced LOTOS) is a formal specification language designed between 1993 and 1999, and standardized by ISO in 2001. E-LOTOS was initially intended to be a revision of the LOTOS language standardized by ISO 8807 in 1989, but the revision turned out to be profound, leading to a new specification language. The starting point for the revision of LOTOS was the PhD thesis of Ed Brinksma, who had been the Rapporteur at ISO of the LOTOS standard. In 1993, the initial goals of the definition of E-LOTOS were stated in ISO/IEC JTC1/N2802 announcement.
has abstract
In computer science E-LOTOS (E ...... among which LOTOS NT and LNT.
@en
Link from a Wikipage to an external page
Wikipage page ID
45,415,132
page length (characters) of wiki page
Wikipage revision ID
1,011,825,611
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
hypernym
comment
In computer science E-LOTOS (E ...... O/IEC JTC1/N2802 announcement.
@en
label
E-LOTOS
@en