Eliminating Queues from RT UML Model Representations (English)
Free access
- New search for: Damm, Werner
- New search for: Jonsson, Bengt
- New search for: Damm, Werner
- New search for: Jonsson, Bengt
In:
Formal Techniques in Real-Time and Fault-Tolerant Systems
7
;
375-393
;
2002
-
ISSN:
- Article/Chapter (Book) / Electronic Resource
-
Title:Eliminating Queues from RT UML Model Representations
-
Contributors:Damm, Werner ( author ) / Jonsson, Bengt ( author )
-
Published in:Lecture Notes in Computer Science ; 2469, 7 ; 375-393
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2002-01-01
-
Size:19 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
UppaaL Implementation SecretsBehrmann, Gerd / Bengtsson, Johan / David, Alexandre / Larsen, Kim G. / Pettersson, Paul / Yi, Wang et al. | 2002
- 23
-
Software Hazard and Safety AnalysisMcDermid, John et al. | 2002
- 37
-
Real-Time Operating Systems: Problems and Novel SolutionsButtazzo, Giorgio et al. | 2002
- 53
-
Real-Time UMLDouglass, Bruce Powel et al. | 2002
- 71
-
Eager Class Initialization for JavaKozen, Dexter / Stillerman, Matt et al. | 2002
- 81
-
Applications of Formal Methods in BiologyPnueli, Amir et al. | 2002
- 83
-
An Overview of Formal Verification for the Time-Triggered ArchitectureRushby, John et al. | 2002
- 107
-
Scheduler Modeling Based on the Controller Synthesis ParadigmSifakis, Joseph et al. | 2002
- 111
-
Component-Based Synthesis of Dependable Embedded SoftwareJhumka, Arshad / Hiller, Martin / Suri, Neeraj et al. | 2002
- 129
-
From the Specification to the Scheduling of Time-Dependent SystemsLohr, Christophe / Courtiat, Jean-Pierre et al. | 2002
- 147
-
On Control with Bounded Computational ResourcesMaler, Oded / Krogh, Bruce H. / Mahfoudh, Moez et al. | 2002
- 165
-
Decidability of Safety Properties of Timed Multiset RewritingYamamoto, Mitsuharu / Cottin, Jean-Marie / Hagiya, Masami et al. | 2002
- 185
-
Extending Timed Automaton and Real-Time Logic to Many-Valued ReasoningVilas, Ana Fernández / Arias, José J. Pazos / Díaz Redondo, Rebeca P. et al. | 2002
- 205
-
Fault Diagnosis for Timed AutomataTripakis, Stavros et al. | 2002
- 225
-
Verification of Timed Automata via Satisfiability CheckingNiebert, Peter / Mahfoudh, Moez / Asarin, Eugene / Bozga, Marius / Maler, Oded / Jain, Navendu et al. | 2002
- 245
-
Take It NP-Easy: Bounded Model Construction for Duration CalculusFränzle, Martin et al. | 2002
- 265
-
Towards Bounded Model Checking for the Universal Fragment of TCTLPenczek, Wojciech / Woźna, Bożena / Zbrzezny, Andrzej et al. | 2002
- 291
-
A Typed Interrupt CalculusPalsberg, Jens / Ma, Di et al. | 2002
- 311
-
Parametric Verification of a Group Membership AlgorithmBouajjani, Ahmed / Merceron, Agathe et al. | 2002
- 331
-
A Method for Testing the Conformance of Real Time SystemsKhoumsi, Ahmed et al. | 2002
- 355
-
A Probabilistic Extension of UML StatechartsJansen, David N. / Hermanns, Holger / Katoen, Joost-Pieter et al. | 2002
- 375
-
Eliminating Queues from RT UML Model RepresentationsDamm, Werner / Jonsson, Bengt et al. | 2002
- 395
-
Model Checking Timed UML State Machines and CollaborationsKnapp, Alexander / Merz, Stephan / Rauh, Christopher et al. | 2002
- 417
-
Partial Order Path Technique for Checking Parallel Timed AutomataZhao, Jianhua / Xu, He / Li, Xuandong / Zheng, 1Tao / Zheng, Guoliang et al. | 2002
- 433
-
Constructing Test Automata from Graphical Real-Time RequirementsDierks, Henning / Lettrari, Marc et al. | 2002