Vol-2048⫷ Vol-2049 ⫸Vol-2050
urn:nbn:de:0074-2049-0


Vol-2049/06paper⫷Vol-2049/07paper⫸Vol-2049/08paper
Julieth Patricia Castellanos ArdilaBarbara Gallina

Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262