Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools (Englisch)
- Neue Suche nach: Kim, Jin Hyun
- Neue Suche nach: Larsen, Kim G.
- Neue Suche nach: Nielsen, Brian
- Neue Suche nach: Mikučionis, Marius
- Neue Suche nach: Olsen, Petur
- Neue Suche nach: Núñez, Manuel
- Neue Suche nach: Güdemann, Matthias
- Neue Suche nach: Kim, Jin Hyun
- Neue Suche nach: Larsen, Kim G.
- Neue Suche nach: Nielsen, Brian
- Neue Suche nach: Mikučionis, Marius
- Neue Suche nach: Olsen, Petur
In:
Formal Methods for Industrial Critical Systems
: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
;
Kapitel: 4
;
47-61
;
2015
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools
-
Weitere Titelangaben:Lect.Notes Computer
-
Beteiligte:Núñez, Manuel ( Herausgeber:in ) / Güdemann, Matthias ( Herausgeber:in ) / Kim, Jin Hyun ( Autor:in ) / Larsen, Kim G. ( Autor:in ) / Nielsen, Brian ( Autor:in ) / Mikučionis, Marius ( Autor:in ) / Olsen, Petur ( Autor:in )
-
Kongress:International Workshop on Formal Methods for Industrial Critical Systems ; 2015 ; Oslo, Norway
-
Erschienen in:Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings ; Kapitel: 4 ; 47-61Lecture Notes in Computer Science ; 9128 ; 47-61
-
Verlag:
- Neue Suche nach: Springer International Publishing
-
Erscheinungsort:Cham
-
Erscheinungsdatum:01.01.2015
-
Format / Umfang:15 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
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
-
Formal Verification of Industrial Critical SoftwarePetit-Doche, Marielle / Breton, Nicolas / Courbis, Roméo / Fonteneau, Yoann / Güdemann, Matthias et al. | 2015
- 2
-
A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-CBlanchard, Allan / Kosmatov, Nikolai / Lemerre, Matthieu / Loulergue, Frédéeric et al. | 2015
- 3
-
Intra-procedural Optimization of the Numerical Accuracy of ProgramsDamouche, Nasrine / Martel, Matthieu / Chapoutot, Alexandre et al. | 2015
- 4
-
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL ToolsKim, Jin Hyun / Larsen, Kim G. / Nielsen, Brian / Mikučionis, Marius / Olsen, Petur et al. | 2015
- 5
-
Successful Use of Incremental BMC in the Automotive IndustrySchrammel, Peter / Kroening, Daniel / Brain, Martin / Martins, Ruben / Teige, Tino / Bienmüller, Tom et al. | 2015
- 6
-
Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services ResourcesValero, Valentin / Macià, Hermenegilda / Díaz, Gregorio / Cambronero, M. Emilia et al. | 2015
- 7
-
Model Checking a Server-Side Micro Payment ProtocolChaudhary, Kaylash / Fehnker, Ansgar et al. | 2015
- 8
-
Require, Test and Trace ITAichernig, Bernhard K. / Hörmaier, Klaus / Lorber, Florian / Ničković, Dejan / Tiran, Stefan et al. | 2015
- 9
-
Applying Finite State Process Algebra to Formally Specify a Computational Model of Security Requirements in the Key2phone-Mobile Access SolutionChaudhary, Sunil / Li, Linfeng / Berki, Eleni / Helenius, Marko / Kela, Juha / Turunen, Markku et al. | 2015
- 10
-
Timed Mobility and Timed Communication for Critical SystemsAman, Bogdan / Ciobanu, Gabriel et al. | 2015
- 11
-
On the Formal Analysis of Photonic Signal Processing SystemsSiddique, Umair / Beillahi, Sidi Mohamed / Tahar, Sofiène et al. | 2015
- 12
-
Automated Verification of Nested DFSvan de Pol, Jaco C. et al. | 2015
- 13
-
On the Formal Verification of Optical Quantum Gates in HOLMahmoud, Mohamed Yousri / Panangaden, Prakash / Tahar, Sofiène et al. | 2015