Vol-341⫷ Vol-342 ⫸Vol-343
urn:nbn:de:0074-342-0


Vol-342/paper-5⫷Vol-342/paper-6

Checking compliance of a system with regulations: towards a formalization