Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Artificial intelligence
Model checking
6
Automated approach
4
Computation theory
4
Learning systems
4
Requirements elicitation
4
Scenario-based specifications
4
Semi-automated
4
Software engineering
4
Specifications
4
Automated legislative drafting
2
Deontic Logic
2
Deontic logic
2
Language constructs
2
Laws and legislation
2
Legal documents
2
Legal modeling
2
Model checking regulations
2
Performance improvements
2
Real case
2
-
1Publicado 2017Materias: “...Model checking regulations...”
-
2por Faciano, C., Di Iorio, A.H., Giaccaglia, M.F., Mera, S., Clara, B.L., Rua, M.B., Schapachnik, F., Uriarte, V., Marcos, C., Arti!cial Intelligence Journal; King's College London; Mishcon de Reya; The International Association for Arti!cial Intelligence and Law; Thomson Reuters; WeightmansMaterias: “...Model checking regulations...”
CONF -
3Publicado 2012Materias: “...Model checking...”
-
4Materias: “...Model checking...”
Artículo publishedVersion -
5Materias: “...Model checking...”
Artículo publishedVersion -
6Materias: “...Model checking...”
SER