1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013) : FSFMA 2013 ; July 15 - 16, 2013, Singapore (Englisch)
Freier Zugriff
- Neue Suche nach: Schloss Dagstuhl, Leibniz-Zentrum für Informatik
- Weitere Informationen zu Schloss Dagstuhl, Leibniz-Zentrum für Informatik:
- http://d-nb.info/gnd/10348416-4
- Neue Suche nach: Choppy, Christine
- Neue Suche nach: Schloss Dagstuhl, Leibniz-Zentrum für Informatik
- Weitere Informationen zu Schloss Dagstuhl, Leibniz-Zentrum für Informatik:
- http://d-nb.info/gnd/10348416-4
2013
-
ISBN:
- Konferenzband / Elektronische Ressource
-
Titel:1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013) : FSFMA 2013 ; July 15 - 16, 2013, Singapore
-
Beteiligte:
-
Kongress:French Singaporean Workshop on Formal Methods and Applications ; 1 ; 2013 ; Singapore
FSFMA ; 1 ; 2013 ; Singapore -
Erschienen in:
-
Erscheinungsort:Wadern
-
Erscheinungsdatum:2013
-
Format / Umfang:Online-Ressource (PDF-Datei: X, 91 S., 7,7 MB)
-
Anmerkungen:Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
-
ISBN:
-
DOI:
-
Medientyp:Konferenzband
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Lizenzbestimmungen:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
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
-
Control of Switching Systems by Invariance Analysis (Invited Talk)Fribourg, Laurent et al. | 2013
- 2
-
Specification, Verification and Inference (Invited Talk)Chin, Wei-Ngan et al. | 2013
- 3
-
Analysis of Two-Layer Protocols: DCCP Simultaneous-Open and Hole Punching ProceduresVanit-Anunchai, Somsak et al. | 2013
- 4
-
Dynamic Clock Elimination in Parametric Timed AutomataAndré, Étienne et al. | 2013
- 5
-
On the Determinism of Multi-core ProcessorsPaun, Vladimir-Alexandru / Monsuez, Bruno / Baufreton, Philippe et al. | 2013
- 6
-
An Improved Construction of Petri Net UnfoldingsRodríguez, César / Schwoon, Stefan et al. | 2013
- 7
-
Constructing Attractors of Nonlinear Dynamical SystemsFribourg, Laurent / Kühne, Ulrich / Soulat, Romain et al. | 2013
- 8
-
Formal Modelling and Verification of Pervasive Computing SystemsLiu, Yan et al. | 2013
- 9
-
Illustrating the Mezzo programming languageProtzenko, Jonathan et al. | 2013
- 10
-
Improving System-Level Verification of SystemC Models with SPINElshuber, Martin / Kandl, Susanne / Puschner, Peter et al. | 2013
- 11
-
Modelling and Reasoning about Dynamic Networks as Concurrent SystemsRusmawati, Yanti / Rydeheard, David et al. | 2013
- 12
-
Safety of Unmanned Aircraft Systems Facing Multiple BreakdownsCarle, Patrice / Choppy, Christine / Kervarc, Romain / Piel, Ariane et al. | 2013