Experiences with the Application of Discrete Formal Methods to the Development of Engine Control Software
Year: 1998
Type: conference-paper
Source: IFAC Proceedings Volumes
Institutions: University of York, Rolls-Royce (United Kingdom)
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2620300258