Test Scheduling Optimization Model for IEEE 1687 Multi-Power Domain Networks Using Boolean Satisfiability

@inproceedings{pub11372,
    author = {

Habiby, Payam
 and 

Huhn, Sebastian
 and 

Drechsler, Rolf
},
    title = {Test Scheduling Optimization Model for IEEE 1687 Multi-Power Domain Networks Using Boolean Satisfiability},
    booktitle = {33. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2021). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2021), February 21-23, Nordhausen, Germany},
    year = {2021}
}