Language Of Temporal Ordering Specification
相关论文数: 9
顶级研究者
最高引用论文
Specification revision for Markov decision processes with optimal trade-off
Morteza Lahijanian, Marta Kwiatkowska
引用数: 35 • 2016
From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach
Daniel Maciel, Ana C. R. Paiva, Alberto Rodrigues da Silva
引用数: 16 • 2019
Hybrid specification of control systems
K. Brink, L. Bun, J. van Katwijk, W.J. Toetenel
引用数: 14 • 2002
Formal specification and verification of a team formation protocol using TLA<sup>+</sup>
Rajdeep Niyogi, Amar Nath
引用数: 5 • 2023
Formal specification, refinement, and implementation of path planning
Eman Rabiah Rabiah, Boumediene Belkhouche
引用数: 4 • 2016
Extending Object-Z for specifying real-time systems
K. Periyasamy, V. S. Alagar
引用数: 4 • 2002
Formal Specification of a Team Formation Protocol
Rajdeep Niyogi
引用数: 3 • 2022
A formal specification of the RT-Middleware data transfer protocol
Geoffrey Biggs, Noriaki Ando
引用数: 2 • 2016
Formal specification and verification of a team formation protocol using TLA
Rajdeep Niyogi, Amar Nath
引用数: 2 • 2023