- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
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
- Creator
-
Mambakam, Akshay
Requeno Jarabo, José Ignacio
Bakhirkin, Alexey
Basset, Nicolas
Dang, Thao
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10703-024-00453-2
- URN
-
urn:nbn:de:101:1-2408102128220.078959474857
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:58 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
- Mambakam, Akshay
- Requeno Jarabo, José Ignacio
- Bakhirkin, Alexey
- Basset, Nicolas
- Dang, Thao
- SpringerLink (Online service)
Other Objects (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