Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework

Le Guernic, Gurvan ; Combemale, Benoit; Galindo, José A.

Tipo: Artículo
Año de Publicación: 2017
Número: 240
Páginas: 38 - 52
Acceso abierto: Vía dorada
Fuente Nº Citas Fecha Actualización
scopus014-05-2022
wos014-05-2022
Dimensions
PlumX
Altmetric

Año:

2017

CiteScore:

1.200

CategoríaPosiciónCuartilTercilDecil
Software288/370Q4T3D8
No existen datos para la revista de esta publicación.
No exiten datos para esta publicación
# Autor Afiliación
1Le Guernic, Gurvan DGA Maîtrise de l'Information (France)
2Combemale, BenoitINRIA Institut National de Recherche en Informatique et en Automatique (France)
3Galindo, José A.INRIA Institut National de Recherche en Informatique et en Automatique (France)