- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
Mining of extended signal temporal logic specifications with ParetoLib 2.0 ; volume:62 ; number:1-3 ; day:6 ; month:5 ; year:2024 ; pages:260-284 ; date:6.2024
Formal methods in system design ; 62, Heft 1-3 (6.5.2024), 260-284, 6.2024
- Urheber
-
Mambakam, Akshay
Requeno Jarabo, José Ignacio
Bakhirkin, Alexey
Basset, Nicolas
Dang, Thao
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10703-024-00453-2
- URN
-
urn:nbn:de:101:1-2408102128220.078959474857
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:58 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
- Mambakam, Akshay
- Requeno Jarabo, José Ignacio
- Bakhirkin, Alexey
- Basset, Nicolas
- Dang, Thao
- SpringerLink (Online service)
Ähnliche Objekte (12)
Synthesizing adaptive test strategies from temporal logic specifications
Code generation from specifications in higher-order logic
Extended transitive separation logic
Extended Transitive Separation Logic
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
Extended logic plus functional programming
Finding Pareto-front Membership Functions in Fuzzy Data Mining
GR(1)*: GR(1) specifications extended with existential guarantees
Pareto Sums of Pareto Sets
Pareto
Synthesizing adaptive test strategies from temporal logic specifications
Code generation from specifications in higher-order logic
Extended transitive separation logic
Extended Transitive Separation Logic
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
Extended logic plus functional programming
Finding Pareto-front Membership Functions in Fuzzy Data Mining
GR(1)*: GR(1) specifications extended with existential guarantees
Pareto Sums of Pareto Sets
Pareto
Synthesizing adaptive test strategies from temporal logic specifications
Code generation from specifications in higher-order logic
Extended transitive separation logic
Extended Transitive Separation Logic
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
Extended logic plus functional programming
Finding Pareto-front Membership Functions in Fuzzy Data Mining
GR(1)*: GR(1) specifications extended with existential guarantees
Pareto Sums of Pareto Sets