Automated Verification and Generation of Flexible Automation Control
Doktorsavhandling, 2007

Visa mer

manufacturing systems

program generation

control

verification

Författare

Johan Richardsson

Chalmers, Signaler och system

Kategorisering

Ämneskategorier (SSIF 2011)

Övrig annan teknik

Identifikatorer

ISBN

978-91-7291-962-4

Övrigt

Serie

Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie: 2643

Utgivare

Chalmers

Examination

2007-06-08 15:00

HC2

Opponent: Dr. Robert Harrison, Mechanical and Manufacturing Engineering, Loughborough University, England

Mer information

Senast uppdaterat

2022-10-10