Conversion of LSAT behavioral specifications to automata

Onderzoeksoutput: Boek/rapportRapportAcademic

34 Downloads (Pure)

Samenvatting

The Logistics Specification and Analysis Tool (LSAT) is a model-based engineering tool used for manufacturing system design and analysis. Using a domain specific language, a system can be specified in LSAT. In this paper, a conversion method is presented to obtain the system behavior of an LSAT specification in automata structure.
Originele taal-2Engels
UitgeverijarXiv.org
Aantal pagina's10
StatusGepubliceerd - 9 nov 2020

Vingerafdruk Duik in de onderzoeksthema's van 'Conversion of LSAT behavioral specifications to automata'. Samen vormen ze een unieke vingerafdruk.

Citeer dit