prindi

Model checking in planning resource-sharing based manufacturing

autor
Otto, Tauno
Vain, Jüri
vastutusandmed
T.Otto, J.Vain
allikas
Information Control Problems in Manufacturing 2006 : a proceedings volume from the 12th IFAC International Symposium : St.Etienne, France. 2
ilmumiskoht
Oxford
kirjastus/väljaandja
Elsevier
ilmumisaasta
2006
leheküljed
p. 523-528
leitav
https://www.sciencedirect.com/science/article/pii/S1474667015359991
märksõna
tootmine
juhtimissüsteemid
formaalsed meetodid (informaatika)
ressursikorraldus
andmebaasid
teadmussüsteemid
ISBN
978-0-08-044654-7
keel
inglise
Otto, T., Vain, J. Model checking in planning resource-sharing based manufacturing // Information Control Problems in Manufacturing 2006 : a proceedings volume from the 12th IFAC International Symposium : St.Etienne, France. 2. Oxford : Elsevier, 2006. p. 523-528. https://www.sciencedirect.com/science/article/pii/S1474667015359991