ArticleSensors (Basel, Switzerland)2022

Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets.

Iwona Grobelna et al.PubMed ↗Full text ↗Publisher ↗

No numbers read from the abstract.