Work

Objects and synchronous programming

Year: 1997

Type: article

Authors: Charles André, Frédéric Boulanger, M.-A. Péraldi, Jean‐Paul Rigault, Guy Vidal-Naquet

Language: French

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W171515343

FWCI: 1.402

Cites: 12

Cited by: 16

Related to: 10