Lixing Tan
Orcid: 0000-0002-2978-2697
According to our database1,
Lixing Tan
authored at least 5 papers
between 2020 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Artif. Intell., 2023
2022
Formal Modeling and Performance Evaluation for Hybrid Systems: A Probabilistic Hybrid Process Algebra-Based Approach.
Int. J. Softw. Eng. Knowl. Eng., 2022
2020
Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions.
IEEE Access, 2020