Work

A Formal Model for Natural-Language Timed Requirements of Reactive Systems

Year: 2014

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-319-11737-9_4

Authors: Gustavo Carvalho, Ana Carvalho, Eduardo Rocha, Ana Cavalcanti, Augusto Sampaio

Institutions: Universidade Federal de Pernambuco, University of York

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Engineering and Physical Sciences Research Council

Awards: Programming from Control Laws, High-integrity Java Applications using Circus

OpenAlex ID: W3934208

FWCI: 1.375

Cites: 24

Cited by: 13

Related to: 10