Work

Design-time formal verification for smart environments: an exploratory perspective

Year: 2013

Type: article

Source: Journal of Ambient Intelligence and Humanized Computing

DOI: 10.1007/s12652-013-0209-4

Authors: Fulvio Corno, Muhammad Sanaullah

Institution: Politecnico di Torino

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Engineering and Physical Sciences Research Council

Award: G5152650391

OpenAlex ID: W2056440779

FWCI: 1.623

Cites: 120

Cited by: 13

Related to: 10