Year of publication
Type of media
Type of material
Licence
Language
1–20 of 181 hits
Sort by:
Sort by:
-
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems
British Library Conference Proceedings | 2007| -
Equational programming in lambda-calculus via SL-systems. Part 2
British Library Online Contents | 1996| -
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems
British Library Online Contents | 2007| -
Hardware verification, boolean logic programming, boolean functional programming
Tema Archive | 1995| -
Equational programming in lambda-calculus via SL-systems. Part 1
British Library Online Contents | 1996| -
Damage detection in a RC-masonry tower equipped with a non-conventional TMD using temperature-independent damage sensitive features
Free accessBASE | 2023|Contributors: Tronci, E. M. -
Automatic Synthesis of Control Software for an Industrial Automation Control System
British Library Conference Proceedings | 1999| -
Effect of selective and non-selective serotonin receptor activation on l-DOPA-induced therapeutic efficacy and dyskinesia in parkinsonian rats
British Library Online Contents | 2015| -
Model-Based Synthesis of Control Software from System-Level Formal Specifications
British Library Online Contents | 2014| -
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems
British Library Online Contents | 2012| -
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET
British Library Online Contents | 2013| -
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems
British Library Conference Proceedings | 2012|
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.