|
[RMT+20]
Michael Raitza, Steffen Märcker, Jens Trommer, André Heinzig, Sascha Klüppelholz, Christel Baier and Akash Kumar.
Quantitative Characterization of Reconfigurable Transistor Logic Gates.
IEEE Access.
2020.
[Presents formal analysis techniques for logic gates using probabilistic model checking and a toolchain based on PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|