A Systems-Theoretic Approach to Verification of Maritime Engineering Systems

Von rejz@zhaw.ch