About: covid:PMC7242091

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: covid:PMC7242091 Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : covidontheweb.inria.fr associated with source document(s)

Attributes	Values
Creator	Liu, Chong Cunha, Alcino Houdek, Frank Macedo, Nuno Méry, Dominique Raschke, Alexander
is schema:about of	named entity 'Light' named entity 'Automotive' named entity 'Electrum' named entity 'relational join' named entity 'state explosion' named entity 'state machine' named entity 'tabular data' named entity 'transitive closure' named entity 'regression tests' named entity 'subset' named entity 'graph' named entity 'linear temporal logic' named entity 'input and output' named entity 'state machine' named entity 'Electrum' named entity 'Electrum' named entity 'predicates' named entity 'Electrum' named entity 'rotary switch' named entity 'real-time' named entity 'user interface' named entity 'emergency brake' named entity 'predicate' named entity 'neutral element' named entity 'level of abstraction' named entity 'temporal logic' named entity 'Electrum' named entity 'Electrum' named entity 'Canada' named entity 'Electrum' named entity 'state machines' named entity 'Electrum' named entity 'Semantically' named entity 'disjunction' named entity 'Boolean' named entity 'feature model' named entity 'fade-out' named entity 'SAT solver' named entity 'temporal logic' named entity 'Canada' named entity 'modelling language' named entity 'model checking' named entity 'daytime running light' named entity 'Electrum' named entity 'Electrum' named entity 'real-time' named entity 'domain experts' named entity 'Electrum' named entity 'semantics' named entity 'daytime running lights' named entity 'Electrum' named entity 'Electrum' named entity 'ambient lights' named entity 'feature model' named entity 'Electrum' named entity 'axiomatization' named entity 'first-order' named entity 'Canada' named entity 'prototype' named entity '4.3' named entity 'predicate' named entity 'prototype' named entity 'maintainability' named entity 'arithmetic operations' named entity 'domain experts' named entity 'predicate' named entity 'arithmetic operations' named entity 'predicate' named entity 'Electrum' named entity 'Cartesian product' named entity 'relational expression' named entity 'colour highlighting' named entity 'tabular data' named entity 'predicates' named entity 'prototype' named entity 'software product' named entity 'Electrum' named entity 'state machine' named entity 'if-then-else' named entity 'Canada' named entity 'binary relation' named entity 'graphical interface' named entity 'predicate' named entity 'real-time' named entity 'pitman arm' named entity 'software products' named entity 'predicate' named entity 'Electrum' named entity 'input and output' named entity 'feature model' named entity 'prototype' named entity 'relational logic' named entity 'light switch' named entity 'Electrum'

Attributes

Values

Creator

Liu, Chong
Cunha, Alcino
Houdek, Frank
Macedo, Nuno
Méry, Dominique
Raschke, Alexander

is schema:about of

named entity 'Light'
named entity 'Automotive'
named entity 'Electrum'
named entity 'relational join'
named entity 'state explosion'
named entity 'state machine'
named entity 'tabular data'
named entity 'transitive closure'
named entity 'regression tests'
named entity 'subset'
named entity 'graph'
named entity 'linear temporal logic'
named entity 'input and output'
named entity 'state machine'
named entity 'Electrum'
named entity 'Electrum'
named entity 'predicates'
named entity 'Electrum'
named entity 'rotary switch'
named entity 'real-time'
named entity 'user interface'
named entity 'emergency brake'
named entity 'predicate'
named entity 'neutral element'
named entity 'level of abstraction'
named entity 'temporal logic'
named entity 'Electrum'
named entity 'Electrum'
named entity 'Canada'
named entity 'Electrum'
named entity 'state machines'
named entity 'Electrum'
named entity 'Semantically'
named entity 'disjunction'
named entity 'Boolean'
named entity 'feature model'
named entity 'fade-out'
named entity 'SAT solver'
named entity 'temporal logic'
named entity 'Canada'
named entity 'modelling language'
named entity 'model checking'
named entity 'daytime running light'
named entity 'Electrum'
named entity 'Electrum'
named entity 'real-time'
named entity 'domain experts'
named entity 'Electrum'
named entity 'semantics'
named entity 'daytime running lights'
named entity 'Electrum'
named entity 'Electrum'
named entity 'ambient lights'
named entity 'feature model'
named entity 'Electrum'
named entity 'axiomatization'
named entity 'first-order'
named entity 'Canada'
named entity 'prototype'
named entity '4.3'
named entity 'predicate'
named entity 'prototype'
named entity 'maintainability'
named entity 'arithmetic operations'
named entity 'domain experts'
named entity 'predicate'
named entity 'arithmetic operations'
named entity 'predicate'
named entity 'Electrum'
named entity 'Cartesian product'
named entity 'relational expression'
named entity 'colour highlighting'
named entity 'tabular data'
named entity 'predicates'
named entity 'prototype'
named entity 'software product'
named entity 'Electrum'
named entity 'state machine'
named entity 'if-then-else'
named entity 'Canada'
named entity 'binary relation'
named entity 'graphical interface'
named entity 'predicate'
named entity 'real-time'
named entity 'pitman arm'
named entity 'software products'
named entity 'predicate'
named entity 'Electrum'
named entity 'input and output'
named entity 'feature model'
named entity 'prototype'
named entity 'relational logic'
named entity 'light switch'
named entity 'Electrum'

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software