Model checking in planning resource-sharing based manufacturing
author
Otto, Tauno
Vain, Jüri
statement of authorship
T.Otto, J.Vain
source
Information Control Problems in Manufacturing 2006 : a proceedings volume from the 12th IFAC International Symposium : St.Etienne, France. 2
location of publication
Oxford
publisher
Elsevier
year of publication
2006
pages
p. 523-528
url
https://www.sciencedirect.com/science/article/pii/S1474667015359991
subject term
tootmine
juhtimissüsteemid
formaalsed meetodid (informaatika)
ressursikorraldus
andmebaasid
teadmussüsteemid
ISBN
978-0-08-044654-7
language
inglise