Resultats de la cerca - "Rule-based model checking"

Chapter Concept for Enriching NISO-STS Standards with Machine-Readable Requirements and Validation Rules per Ali, Sherief, Zentgraf, Sven, König, Markus

Matèries: “…Rule-based model checking…”
Obtenir text complet