Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer circuits
Application programs
1
Automated support
1
Design notations
1
Engineering education
1
Formal logic
1
Future challenges
1
Interpretable representation
1
Inverse operators
1
Inverse problems
1
Learning approach
1
Learning systems
1
Method of modeling
1
Modal models
1
Model checking
1
Model checking algorithm
1
Property specification language
1
Prototype tools
1
Research efforts
1
Risk assessment
1
Rule based
1
Software design
1
Software engineering
1
Software model
1
Software system designs
1
Specification languages
1
Specification mining
1
Specifications
1
Technical presentations
1
-
1
-
2