17 citations · 28 across the 18 of their papers we have counts for
1 paper · 1 filter
Andreas Katis, Grigory Fedyukovich, Andrew Gacek +3
The realizability problem in requirements engineering is to determine the existence of an implementation that meets the given formal requirements. A step forward after realizabilit…