- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1619-1374
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Spectra: a specification language for reactive systems ; day:14 ; month:4 ; year:2021 ; pages:1-34
Software and systems modeling ; (14.4.2021), 1-34
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10270-021-00868-z
- URN
-
urn:nbn:de:101:1-2021060319134659774271
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:53 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
- Maoz, Shahar
- Ringert, Jan Oliver
- SpringerLink (Online service)
Other Objects (12)
Specification of a specification language
Specification decomposition for reactive synthesis
The temporal logic of reactive and concurrent systems : specification
The JCop language specification
Modular language specification and composition
The specification language SPECTRUM : core language report V1.0
Specification of the language definition system for the GRASPIN environment
Generating Formal Representations of System Specification from Natural Language Requirements
A specification language for distributed algorithms
The formal specification language mCRL2
The Level-agnostic Modeling Language: Language Specification and Tool Implementation
PCSL, a process control software specification language
Specification of a specification language
Specification decomposition for reactive synthesis
The temporal logic of reactive and concurrent systems : specification
The JCop language specification
Modular language specification and composition
The specification language SPECTRUM : core language report V1.0
Specification of the language definition system for the GRASPIN environment
Generating Formal Representations of System Specification from Natural Language Requirements
A specification language for distributed algorithms
The formal specification language mCRL2
The Level-agnostic Modeling Language: Language Specification and Tool Implementation
PCSL, a process control software specification language
Specification of a specification language
Specification decomposition for reactive synthesis
The temporal logic of reactive and concurrent systems : specification
The JCop language specification
Modular language specification and composition
The specification language SPECTRUM : core language report V1.0
Specification of the language definition system for the GRASPIN environment
Generating Formal Representations of System Specification from Natural Language Requirements
A specification language for distributed algorithms
The formal specification language mCRL2
The Level-agnostic Modeling Language: Language Specification and Tool Implementation