Model checking in planning resource-sharing based manufacturing
author
Otto, Tauno
Vain, Jüri
statement of authorship
T.Otto, J.Vain
source
12th IFAC Symposium on Information Control Problems in Manufacturing : preprints. Vol. II, Industrial Engineering
location of publication
Saint-Etienne
publisher
Ecole Nationale Superieure des Mines
year of publication
2006
pages
p. 535-540
url
https://www.sciencedirect.com/science/article/pii/S1474667015359991
subject term
tootmine
juhtimissüsteemid
formaalsed meetodid (informaatika)
ressursikorraldus
andmebaasid
teadmussüsteemid
language
inglise