Know-How Protection for Trustworthy Electronics
The Bremen scientists are making use of previous research on test generation, formal verification, and the application of formal modelling techniques. A great deal of this work was already positively received [...] each component after successful assessment,” says Drechsler. This requires methods that implement formal techniques and for which effective modelling plays a key role. AGRA at the University of Bremen and