A Aralex Aachen research explorer

August 01, 2001 article

Formal design and analysis of a gear controller

International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s100090100048 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 81

Controller verification meets controller code
2021 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) conference-paper Computer Science Formal Methods in Verification

2

citations

1 result

References 0