Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer software
Bounded verifications
2
Formal logic
2
Java programming language
2
Tools
2
Algebra
1
Boolean functions
1
CD
1
CD++
1
Cell-Discrete Event System Specification
1
Data flow analysis
1
Dataflow analysis
1
Discrete Event System Specification formalism
1
Discrete Event System Specification-Graphs
1
Discrete event simulation
1
Discrete event system specification
1
Empirical evaluations
1
Fork algebras
1
Formal tools
1
Graphic methods
1
Graphical simulation
1
Interpretability
1
Java program
1
Java-like programs
1
Java-like programs verification
1
Levels of abstraction
1
Mathematical programming
1
Modeling and simulation
1
Plug-ins
1
Program Verification
1
-
1Materias: “...Discrete Event System Specification formalism...”
JOUR -
2
-
3Materias: “...Formal tools...”
JOUR -
4Materias: “...Formal logic...”
JOUR