Solving line balancing problems with model checking
autor
Vain, Jüri
Randvee, Ingmar
Riismaa, Tiit
Ernits, Juhan-Peep
vastutusandmed
Jüri Vain, Ingmar Randvee, Tiit Riismaa, and Juhan Ernits
allikas
Proceedings of the Estonian Academy of Sciences. Engineering
ajakirja aastakäik number kuu
8
ilmumisaasta
2002
leheküljed
4, p. 211-222 : ill
leitav
https://artiklid.elnet.ee/record=b1011298*est
märksõna
montaaž
automaatjuhtimine
modelleerimine (teadus)
ISSN
1406-0175
märkused
Bibliogr.: 15 ref
retsensioon
Kokkuvõte: Mudelkontrolli kasutamine koosteliini tasakaalustusülesande lahendamisel
keel
inglise