prindi

Model checking in planning resource-sharing based manufacturing

autor
Otto, Tauno
Vain, Jüri
vastutusandmed
T.Otto, J.Vain
allikas
12th IFAC Symposium on Information Control Problems in Manufacturing : preprints. Vol. II, Industrial Engineering
ilmumiskoht
Saint-Etienne
kirjastus/väljaandja
Ecole Nationale Superieure des Mines
ilmumisaasta
2006
leheküljed
p. 535-540
leitav
https://www.sciencedirect.com/science/article/pii/S1474667015359991
märksõna
tootmine
juhtimissüsteemid
formaalsed meetodid (informaatika)
ressursikorraldus
andmebaasid
teadmussüsteemid
keel
inglise
Otto, T., Vain, J. Model checking in planning resource-sharing based manufacturing // 12th IFAC Symposium on Information Control Problems in Manufacturing : preprints. Vol. II, Industrial Engineering. Saint-Etienne : Ecole Nationale Superieure des Mines, 2006. p. 535-540. https://www.sciencedirect.com/science/article/pii/S1474667015359991