Michael Käßmeyer, M. Sc.
Weitere Informationen
- , , , :
A Formal Model for Stateful and Variant-rich Automotive Functions
27th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2016 (Ottawa, ON, 2016-10-23 - 2016-10-27)
In: Formal Verification for Practicing Engineers (FVPE), Ottawa, Canada: 2016
DOI: 10.1109/ISSREW.2016.25
BibTeX: Download - , , , :
Toward an MDD-based Analysis of Stateful and Variant-rich Automotive Functions
CARS 2016-4th International Workshop on Critical Automotive Applications: Robustness & Safety (Göteborg, 2016-09-06 - 2016-09-06)
In: CARS 2016-4th International Workshop on Critical Automotive Applications: Robustness & Safety 2016
BibTeX: Download - , :
A Model based Difference Approach and Change Impact Rules Language to manage Variability and Change Requests in Safety Critical Automotive Functions .
SAE 2016 World Congress and Exhibition (, 2016-04-12 - 2016-04-14)
In: SAE World Congress & Exhibition, Technical Paper 2016
DOI: 10.4271/2016-01-0125
BibTeX: Download - , , , :
Product Line Fault Tree Analysis by Means of Multi-valued Decision Diagrams
18th International GI/ITG Conference on Measurment, Modelling and Evaluation of Computing Systems and Dependability and Fault-Tolerance (MMB & DFT 2016) (Münster, 2016-04-04 - 2016-04-06)
In: Remke A., Haverkort B.R. (Hrsg.): Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems. MMB&DFT 2016. Lecture Notes in Computer Science, vol 9629., Cham: 2016
DOI: 10.1007/978-3-319-31559-1_11
BibTeX: Download
Es wurden leider keine Projekte gefunden.