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

Stefan Walter, Achim Rettberg, Mrcio Eduardo Kreutz

Browse the full ISORC paper archive.