Document
type: Class

Continuant
type: Class

Entity
type: Class

Generically Dependent Continuant
type: Class

Compositional Simulation of Abstract State Machines for Safety Critical Systems
type: Document
related by: 87601266
type: Entity
type: Information Content Entity
related by: 87601264
language: Inglese
type: Conference Paper
type: Generically Dependent Continuant
type: Continuant
type: Thing
type: Article
most specific type: Conference Paper

Article
type: Class

87601264
type: Entity
type: BFO_0000020
type: Authorship
type: Relationship
type: Continuant
type: Thing
relates: Compositional Simulation of Abstract State Machines for Safety Critical Systems

Inglese
type: Language

Information Content Entity
type: Class

87601266
type: Entity
type: BFO_0000020
type: Authorship
type: Relationship
type: Continuant
type: Thing
relates: Compositional Simulation of Abstract State Machines for Safety Critical Systems

RDF description of Compositional Simulation of Abstract State Machines for Safety Critical Systems - http://irises.unibg.it/resource/item/264071
rights: termsOfUse
date: 2026-08-11T18:22:45
publisher: Compositional Simulation of Abstract State Machines for Safety Critical Systems
type: Document

Conference Paper
type: Class