Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por materia 

ListarPonencias (Ciencias de la Computación e Inteligencia Artificial) por materia "Formal verification"

Mostrando ítems 1-1 de 1

    • Ponencia
      Icon

      Kernel P Systems: Applications and Implementations 

      Ipate, Florentin; Lefticaru, Raluca; Mierla, Laurentiu; Valencia Cabrera, Luis; Han, Huang; Zhang, Gexiang; Dragomir, Ciprian; Pérez Jiménez, Mario de Jesús; Gheorghe, Marian (Springer, 2013)
      This paper explores the modelling capacities of a new class of P systems, called kernel P systems (kP systems). A specific ...