Fig. 2From: Formal methods in dependable systems engineering: a survey of professionals from Europe and North AmericaThe alternative text for this image may have been generated using AI.(Q1) In which application domains in industry or academia have you mainly used FMs? (MC)Back to article page