EasyChair Smart Slide
Formalizing Requirements for Cyber-Physical Systems: Real-World Experiences and Challenges
Formalizing Requirements for Cyber-Physical Systems: Real-World Experiences and Challenges