Work

Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems

Year: 2016

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-319-34096-8_1

Authors: Carolyn Talcott, Vivek Nigam, Farhad Arbab, Tobias Kappé

Institutions: SRI International, Universidade Federal da Paraíba, Leiden University, Centrum Wiskunde & Informatica

Language: English

Topic: Multi-Agent Systems and Negotiation

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2470154314

FWCI: 1.077

Cites: 28

Cited by: 17

Related to: 10