Developing an environment for computer-based automotive suspension and steering systems

This publication has 6 references indexed in Scilit:

• PRUF—a meaning representation language for natural languages
  Published by Elsevier ,2008
• Achieving high integrity of process control software by graphical design and formal verification
  Software Engineering Journal, 1992
• The measure of the degree of truth and of the grade of membership
  Fuzzy Sets and Systems, 1988
• Languages and object-oriented programming
  Software Engineering Journal, 1986
• Outline of a New Approach to the Analysis of Complex Systems and Decision Processes
  IEEE Transactions on Systems, Man, and Cybernetics, 1973
• Fuzzy sets
  Information and Control, 1965