Towards Formalized Model-Based Requirements for a Seamless Design Approach in Safety-Critical Systems Development

Stefan Walter, Achim Rettberg, Marcio Kreutz. Towards Formalized Model-Based Requirements for a Seamless Design Approach in Safety-Critical Systems Development. In 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORC Workshops 2015, Auckland, New Zealand, April 13-17, 2015. pages 111-115, IEEE Computer Society, 2015. [doi]

Authors

Stefan Walter

This author has not been identified. Look up 'Stefan Walter' in Google

Achim Rettberg

This author has not been identified. Look up 'Achim Rettberg' in Google

Marcio Kreutz

This author has not been identified. Look up 'Marcio Kreutz' in Google