Kandai Watanabe
- Timed Partial Order Inference Algorithm
2023/02/05 by Kandai Watanabe, Watanabe, Kandai, Bardh Hoxha +11 · 1 citation
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Software System Performance and Reliability