Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer software
Design
Abstracting
1
Algorithms
1
Anomalous behavior
1
Behavior model
1
Behaviour validation
1
Communication
1
Concise representations
1
Event-based
1
Formal methods
1
Liveness
1
Liveness properties
1
Methodological guidelines
1
Programming tasks
1
Software engineering
1
Source codes
1
Sufficient conditions
1
Synthesis techniques
1
enabledness-preserving abstractions
1
-
1
-
2