Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Artificial intelligence
3
Automated Legislative Drafting
3
Laws and legislation
3
Model checking
3
Contract Verification
2
Learning systems
2
Semantics
2
Specifications
2
Alloy Analyzer
1
Alloy analyzers
1
Alloys
1
Analysis and verifications
1
Automata-based formalisms
1
Automated analysis
1
Automated approach
1
Automated generation
1
Automatic analysis
1
Automatic technique
1
Automation
1
Biological DNA sequences
1
Black box test
1
Black-box testing
1
Calculations
1
Classification (of information)
1
Complex inputs
1
Complex networks
1
Computation theory
1
Computer aided software engineering
1
Constraint Solving
1
Constraint-based
1
-
1Materias: “...Automated Legislative Drafting...”
SER -
2Materias: “...Automated Legislative Drafting...”
SER -
3Materias: “...Automated Legislative Drafting...”
SER -
4Materias: “...Semi-automated...”
SER -
5Materias: “...Automated analysis...”
SER -
6por Carrillo, F., Mota, N., Copelli, M., Ribeiro, S., Sigman, M., Cecchi, G., Slezak, D.F., Chang K.-M.K., Murphy B., Wehbe L., Cecchi G., Rish I., Langs G.Materias: “...Automation...”
SER -
7Materias: “...automation...”
SER -
8Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputsMaterias: “...Automated generation...”
SER