Erscheinungsjahr
Medientyp
Datenquelle
Fach
Synonyme wurden verwendet für: formale Spezifikation
Suche ohne Synonyme: keywords:(formale Spezifikation)
Verwendete Synonyme:
- formal specification
-
Lightweight specification and analysis of dynamic systems with rich configurations
Freier ZugriffBASE | 2016|Schlagwörter: Formal specification language -
A methodology to analyze heart data using fuzzy automata1
IOS Press | 2019|Schlagwörter: formal specification -
Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum
Online Contents | 2019|Schlagwörter: Formal specification -
Introduction to the special section on runtime verification
Online Contents | 2011|Schlagwörter: Formal specification -
A formal specification animation method for operation validation
Elsevier | 2021|Schlagwörter: Formal specification -
Long-term preservation of digital signatures for multiple groups of related documents
IET | 2012|Schlagwörter: formal specification -
Model checking approach to automated planning
Online Contents | 2013|Schlagwörter: Formal specification & verification -
An automated approach to specification animation for validation
Elsevier | 2006|Schlagwörter: Formal specification -
Model checking approach to automated planning
Online Contents | 2013|Schlagwörter: Formal specification & verification -
Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API
Elsevier | 2010|Schlagwörter: Formal specification -
Implementing a hardware‐assisted memory management mechanism for ARM platforms using the B method
Wiley | 2019|Schlagwörter: formal specification -
Specifying and verifying PLC systems with TLA+ : A case study
Elsevier | 2010|Schlagwörter: Formal specification -
Merging partial system behaviours: composition of use-case automata
IET | 2007|Schlagwörter: formal specification -
Formal modeling and synthesis of programmable logic controllers
Elsevier | 2010|Schlagwörter: Formal specification -
Refactoring to improve the understandability of specifications written in object constraint language
IET | 2009|Schlagwörter: formal specification -
Usefulness of acceptance testing information for component-based system maintenance
IET | 2012|Schlagwörter: formal specification
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.