Synthesis of opaque systems with static and dynamic masks (Englisch)
- Neue Suche nach: Cassez, Franck
- Neue Suche nach: Dubreil, Jérémy
- Neue Suche nach: Marchand, Hervé
- Neue Suche nach: Cassez, Franck
- Neue Suche nach: Dubreil, Jérémy
- Neue Suche nach: Marchand, Hervé
In:
Formal Methods in System Design
;
40
, 1
; 88-115
;
2012
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Synthesis of opaque systems with static and dynamic masks
-
Beteiligte:
-
Erschienen in:Formal Methods in System Design ; 40, 1 ; 88-115
-
Verlag:
- Neue Suche nach: Springer US
- Neue Suche nach: Springer
-
Erscheinungsort:Dordrecht [u.a.]
-
Erscheinungsdatum:2012
-
ISSN:
-
ZDBID:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 54.30 / 53.52 / 54.20 / 54.00
- Weitere Informationen zu Basisklassifikation
- Neue Suche nach: 770/3155
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Inhaltsverzeichnis – Band 40, Ausgabe 1
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Transparent partial order reductionSiegel, Stephen F. et al. | 2011
- 20
-
Explaining counterexamples using causalityBeer, Ilan / Ben-David, Shoham / Chockler, Hana / Orni, Avigail / Trefler, Richard et al. | 2011
- 41
-
Interrupt Timed Automata: verification and expressivenessBérard, Béatrice / Haddad, Serge / Sassolas, Mathieu et al. | 2012
- 88
-
Synthesis of opaque systems with static and dynamic masksCassez, Franck / Dubreil, Jérémy / Marchand, Hervé et al. | 2012