OpenAlex | Finding minimum and maximum termination time of timed automata models with cyclic behaviour

Finding minimum and maximum termination time of timed automata models with cyclic behaviour

Work

Year: 2016

Type: article

Source: Theoretical Computer Science

Authors Omar I. Al-Bataineh, Mark Reynolds, Tim French

Institutions Nanyang Technological University, The University of Western Australia

Cites: 36

Cited by: 9

Related to: 10

FWCI: 1.131

Citation percentile (by year/subfield): 77.49

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Sustainable Development Goal Peace, justice, and strong institutions

Open Access status: bronze