- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1432-0525
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Symbolic checking of Fuzzy CTL on Fuzzy Program Graph ; day:3 ; month:2 ; year:2018 ; pages:1-33
Acta informatica ; (3.2.2018), 1-33
- Urheber
-
Ebrahimi, Masoud
- Beteiligte Personen und Organisationen
-
Sotudeh, Gholamreza
Movaghar, Ali
SpringerLink (Online service)
- DOI
-
10.1007/s00236-018-0311-3
- URN
-
urn:nbn:de:1111-2018041229701
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:03 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Ebrahimi, Masoud
- Sotudeh, Gholamreza
- Movaghar, Ali
- SpringerLink (Online service)
Ähnliche Objekte (12)
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Model checking CTL is almost always inherently sequential
Fuzzy sets, fuzzy logic, fuzzy methods : with applications
Fuzzy-Logik und Fuzzy-Control
Fuzzy-Unabhängigkeitssysteme und Fuzzy-Matroide
Fuzzy Modeling and Fuzzy Control
Fuzzy sets and fuzzy logic
FUZZY
FUZZY
An Application of Fuzzy Symbolic Time-Series for Energy Demand Forecasting
Symbolic Causality Checking Using SAT-Solving
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Model checking CTL is almost always inherently sequential
Fuzzy sets, fuzzy logic, fuzzy methods : with applications
Fuzzy-Logik und Fuzzy-Control
Fuzzy-Unabhängigkeitssysteme und Fuzzy-Matroide
Fuzzy Modeling and Fuzzy Control
Fuzzy sets and fuzzy logic
FUZZY
FUZZY
An Application of Fuzzy Symbolic Time-Series for Energy Demand Forecasting
Symbolic Causality Checking Using SAT-Solving
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Model checking CTL is almost always inherently sequential
Fuzzy sets, fuzzy logic, fuzzy methods : with applications
Fuzzy-Logik und Fuzzy-Control
Fuzzy-Unabhängigkeitssysteme und Fuzzy-Matroide
Fuzzy Modeling and Fuzzy Control
Fuzzy sets and fuzzy logic
FUZZY
FUZZY
An Application of Fuzzy Symbolic Time-Series for Energy Demand Forecasting