Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer software
Software engineering
Specifications
8
Linguistics
6
Alloy languages
4
Atomic transition
4
Autopilot systems
4
Cerium alloys
4
Design
4
Dynamic logic
4
Example based
4
Operational languages
4
Requirements specifications
4
SAT-solving
4
Tabular expressions
4
Tabular notation
4
Tabular specifications
4
Test harness
4
Abstracting
2
Algorithms
2
Anomalous behavior
2
Atomic actions
2
Behavior model
2
Behaviour models
2
Best practices
2
CERN
2
Cameras
2
Case studies
2
Case-based approach
2
Case-based approaches
2
-
1
-
2
-
3
-
4
-
5
-
6
-
7Artículo publishedVersion
-
8Artículo publishedVersion
-
9
-
10
-
11
-
12
-
13
-
14