About: Adaptive Exterior Light and Speed Control System

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

About: Adaptive Exterior Light and Speed Control System Goto Sponge NotDistinct Permalink

An Entity of Type : schema:ScholarlyArticle, within Data Space : wasabi.inria.fr associated with source document(s)

Attributes	Values
type	Academic Article research paper schema:ScholarlyArticle
isDefinedBy	Covid-on-the-Web dataset
title	Adaptive Exterior Light and Speed Control System
Creator	Houdek, Frank Raschke, Alexander
source	PMC
abstract	This case study continues the successful series of case studies for formal specification and verification of the ABZ conference series, which started with the landing gear system [1] and expanded with the hemodialysis medical device [4] and the European Train Control System (ETCS) [2] in the following years.
has issue date	2020-04-22(xsd:dateTime)
bibo:doi	10.1007/978-3-030-48077-6_24
has license	no-cc
sha1sum (hex)	dc432a4f117f16c90690ffeec3819f823f8428ae
schema:url	https://doi.org/10.1007/978-3-030-48077-6_24
resource representing a document's title	Adaptive Exterior Light and Speed Control System
has PubMed Central identifier	PMC7242064
schema:publication	Rigorous State-Based Methods
resource representing a document's body	covid:dc432a4f117f16c90690ffeec3819f823f8428ae#body_text
is schema:about of	named entity 'Light' named entity 'pitman arm' named entity 'brake pedal' named entity 'speed limiter' named entity 'lever' named entity 'lever' named entity 'Traffic Sign' named entity 'lever' named entity 'Traffic sign' named entity 'lever' named entity 'tail lights' named entity 'cruise control' named entity 'lever' named entity 'cruise control' named entity 'ECUs' named entity 'user interface' named entity 'Req' named entity 'pitman arm' named entity 'electronic circuit' named entity 'brake pedal' named entity 'emergency brake' named entity 'rotary switch' named entity 'cruise control' named entity 'rotary switch' named entity 'lever' named entity 'low beam' named entity 'low beam' named entity 'lever' named entity 'car battery' named entity 'Req' named entity 'lever' named entity 'Req' named entity 'low beam' named entity 'adaptive cruise control' named entity 'cruise control' named entity 'cruise control' named entity 'speed limiter' named entity 'cruise control' named entity 'adaptive cruise control' named entity 'low beam' named entity 'cruise control' named entity 'adaptive cruise control' named entity 'cruise control' named entity 'gas pedal' named entity 'cornering light' named entity 'adaptive cruise control' named entity 'cruise control' named entity 'adaptive cruise control' named entity 'Cruise Control' named entity 'speed limit' named entity 'lever' named entity 'adaptive high beam' named entity 'headlight' named entity 'cruise control' named entity 'instrument cluster' named entity 'lever' named entity 'speed limit' named entity 'instrument cluster' named entity 'cruise control' named entity 'brake pedal' named entity 'Canada' named entity 'cruise control' named entity 'High beam' named entity 'ECUs' named entity 'Req' named entity 'cruise control' named entity 'actuators' named entity 'cornering light' named entity 'daytime running light' named entity 'control unit' named entity 'lever' named entity 'cornering light' named entity 'low beam' named entity 'cruise control' named entity 'lever' named entity 'speed limit' named entity 'lever' named entity 'instrument cluster' named entity 'cornering light' named entity 'Brake Pedal' named entity 'low beam' named entity 'pressure point'

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-2025 OpenLink Software