Lamm, Jesko G.Jesko G.LammMelzer, SylviaSylviaMelzerHintze, HartmutHartmutHintzeGod, RalfRalfGod2020-03-022020-03-022019Tagungsband TdSE (2019)http://hdl.handle.net/11420/5098enSystems EngineeringEin modellbasiertes Vorgehen zur Verifikation und Validierung von funktionalen ArchitekturenConference PaperSchulze, S. O.S. O.SchulzeTschirner, C.C.TschirnerKaffenberger, R.R.KaffenbergerAckva, S.S.AckvaOther