Yaping Jing
Department Affiliations
- Salisbury University
- Department of Math and Computer Science, Salisbury University, Salisbury, MD, USA
Themes
- Performance evaluation
- Model Verification
- Probabilistic systems
- Manufacturing Applications
- Algorithm correctness
- Performance Evaluation
- Complexity analysis
- Robot Task Modeling
- Model checking
- Workflow Flexibility
- Formal languages
- Integration with Other Software Solutions
- Real-valued queries
Categories
- Computer and information sciences
- Computer science
- Electrical and computer engineering
- Mathematics nec
- Electrical and electronic engineering technologies
- Computer and information sciences, general
- Electrical and electronics engineering
- Engineering technologies
- Computational and applied mathematics
- Statistics
- Electromechanical technologies
- Mathematics, general
- Computer and information sciences, other
- Informatics and information technology
- Mechanical engineering
- Mathematics and statistics
- Mathematics
- Engineering
- Applied mathematics
- Mechanical engineering, general