- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1619-1374
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
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
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10270-021-00868-z
- URN
-
urn:nbn:de:101:1-2021060319134659774271
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 14.08.2025, 08:53 UTC
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
- Maoz, Shahar
- Ringert, Jan Oliver
- SpringerLink (Online service)
Ähnliche Objekte (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
The formal specification language mCRL2
A specification language for distributed algorithms
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
The formal specification language mCRL2
A specification language for distributed algorithms
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
The formal specification language mCRL2
A specification language for distributed algorithms
The Level-agnostic Modeling Language: Language Specification and Tool Implementation