The p-Stable Semantics Applied to ICT Systems
Claudia Zepeda, Angel Marin, Sergio Arzola, Mario Rossainz López, Mauricio Osorio Galindo · 2010
We present an overview of an implementation of p-stable semantics, since we consider that this semantics can be a formal approach useful in the fields of Electronics, Robotics, or Automotive Mechanics.