The formal design of distributed controllers withdSL and Spin
Bram De Wachter, Alexandre Genon, Thierry Massart, Cédric MeuterVolume:
17
Language:
english
Pages:
24
DOI:
10.1007/s00165-005-0066-9
Date:
August, 2005
File:
PDF, 328 KB
english, 2005