Plcspecif Permissive Equivalence Checking Example Model Article Swipe
Related Concepts
Dániel Darvas
·
YOU?
·
· 2016
· Open Access
·
· DOI: https://doi.org/10.5281/zenodo.45415
· OA: W4393816164
YOU?
·
· 2016
· Open Access
·
· DOI: https://doi.org/10.5281/zenodo.45415
· OA: W4393816164
Example models for the permissive equivalence checking relations of PLCspecif.
Related Topics
Finding more related topics…