![](/img/cover-not-exists.png)
[IEEE IEEE Symposium on Computer-Aided Control Systems Design (CACSD) - Tucson, AZ, USA (7-9 March 1994)] Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD) - A methodology for formal specification of logic controllers from informal specifications
Nilsson, H., Hamfelt, A.Year:
1994
Language:
english
DOI:
10.1109/cacsd.1994.288927
File:
PDF, 560 KB
english, 1994