jaylin-siddens documents

Volker Fortströer. How improve quality control for reactive systems? Availability of a specification of system behavior ◦ Rarely precise & reliable
Documents Volker Fortströer. How improve quality control for reactive systems? Availability of a specification of system behavior ◦ Rarely precise & reliable