- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8102
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Shield synthesis ; volume:51 ; number:2 ; day:25 ; month:9 ; year:2017 ; pages:332-361 ; date:11.2017
Formal methods in system design ; 51, Heft 2 (25.9.2017), 332-361, 11.2017
- Classification
-
Elektrotechnik, Elektronik
- Creator
-
Könighofer, Bettina
- Contributor
-
Alshiekh, Mohammed
Bloem, Roderick
Humphrey, Laura
Könighofer, Robert
Topcu, Ufuk
Wang, Chao
SpringerLink (Online service)
- DOI
-
10.1007/s10703-017-0276-9
- URN
-
urn:nbn:de:1111-201801174689
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:45 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Könighofer, Bettina
- Alshiekh, Mohammed
- Bloem, Roderick
- Humphrey, Laura
- Könighofer, Robert
- Topcu, Ufuk
- Wang, Chao
- SpringerLink (Online service)
Other Objects (12)
A Continuation Approach to the Periodic Boundary Value Problem for a Class of Nonlinear Coupled Oscillators with Potential Depending on Time
Solving nonlinear fractional differential equations by common fixed point results for a pair of (α, Θ)-type contractions in metric spaces
Normalized solutions for the p -Laplacian equation with a trapping potential
Telmisartan induces osteosarcoma cells growth inhibition and apoptosis via suppressing mTOR pathway
An LCA study of an electricity coal supply chain
Information disclosure in China's rising securitization market
Convergence theorems for a generalized Φ-pseudo-contractive type mapping in real normal linear spaces
Prediction of protein solubility based on sequence physicochemical patterns and distributed representation information with DeepSoluE
Feature-based RGB-D camera pose optimization for real-time 3D reconstruction
The metabolic adaptation mechanism of metastatic organotropism
Reducing turnover intention: perceived organizational support for frontline employees
A new Monte Carlo mobile node localization algorithm based on Newton interpolation
A Continuation Approach to the Periodic Boundary Value Problem for a Class of Nonlinear Coupled Oscillators with Potential Depending on Time
Solving nonlinear fractional differential equations by common fixed point results for a pair of (α, Θ)-type contractions in metric spaces
Normalized solutions for the p -Laplacian equation with a trapping potential
Telmisartan induces osteosarcoma cells growth inhibition and apoptosis via suppressing mTOR pathway
An LCA study of an electricity coal supply chain
Information disclosure in China's rising securitization market
Convergence theorems for a generalized Φ-pseudo-contractive type mapping in real normal linear spaces
Prediction of protein solubility based on sequence physicochemical patterns and distributed representation information with DeepSoluE
Feature-based RGB-D camera pose optimization for real-time 3D reconstruction
The metabolic adaptation mechanism of metastatic organotropism
Reducing turnover intention: perceived organizational support for frontline employees
A new Monte Carlo mobile node localization algorithm based on Newton interpolation
A Continuation Approach to the Periodic Boundary Value Problem for a Class of Nonlinear Coupled Oscillators with Potential Depending on Time
Solving nonlinear fractional differential equations by common fixed point results for a pair of (α, Θ)-type contractions in metric spaces
Normalized solutions for the p -Laplacian equation with a trapping potential
Telmisartan induces osteosarcoma cells growth inhibition and apoptosis via suppressing mTOR pathway
An LCA study of an electricity coal supply chain
Information disclosure in China's rising securitization market
Convergence theorems for a generalized Φ-pseudo-contractive type mapping in real normal linear spaces
Prediction of protein solubility based on sequence physicochemical patterns and distributed representation information with DeepSoluE
Feature-based RGB-D camera pose optimization for real-time 3D reconstruction
The metabolic adaptation mechanism of metastatic organotropism
Reducing turnover intention: perceived organizational support for frontline employees