Solving line balancing problems with model checking

Vain, J.; Randvee, I.; Riismaa, T.; Ernits, J. (2002). Solving line balancing problems with model checking. Proceedings of the Estonian Academy of Sciences. Engineering, 8 (4), 211−222.
ajakirjaartikkel
Vain, J.; Randvee, I.; Riismaa, T.; Ernits, J.
  • Inglise
Proceedings of the Estonian Academy of Sciences. Engineering
1406-0175
8
4
2002
211222
Ilmunud
1.2. Teadusartiklid teistes rahvusvahelistes teadusajakirjades, millel on registreeritud kood, rahvusvaheline toimetus, rahvusvahelise kolleegiumiga eelretsenseerimine, rahvusvaheline levik ning kättesaadavus ja avatus kaastöödele

Lisainfo

behavioural modelling, flexible manufacturing, line balancing, model checking, timed automata
Applied Mechanics Reviews; Cambridge Scientific Abstracts; INSPEC Abstracts; Engineered Materials Ab