Work

Model-Checking Temporal Properties of Real-Time HTL Programs

Year: 2010

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-16561-0_22

Authors: André Carvalho, Joel Carvalho, Jorge Sousa Pinto, Simão Melo de Sousa

Institutions: University of Minho, University of Beira Interior, Universidade do Porto

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1597801409

FWCI:

Cites: 18

Cited by:

Related to: 10