NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements (Englisch)
Freier Zugriff
- Neue Suche nach: Webel, Christian
- Neue Suche nach: Gotzhein, Reinhard
- Neue Suche nach: Nicolay, Joachim
- Neue Suche nach: Webel, Christian
- Neue Suche nach: Gotzhein, Reinhard
- Neue Suche nach: Nicolay, Joachim
In:
Formal Techniques for Networked and Distributed Systems – FORTE 2008
6
;
218-233
;
2008
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements
-
Beteiligte:
-
Erschienen in:Lecture Notes in Computer Science ; 5048, 6 ; 218-233
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.2008
-
Format / Umfang:16 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
-
Model Generation for Horn Logic with Stratified NegationJackson, Ethan K. / Schulte, Wolfram et al. | 2008
- 21
-
Counterexample Guided Spotlight Abstraction RefinementToben, Tobe et al. | 2008
- 37
-
An Experimental Evaluation of Probabilistic SimulationBogdoll, Jonathan / Hermanns, Holger / Zhang, Lijun et al. | 2008
- 53
-
An SMT Approach to Bounded Reachability Analysis of Model ProgramsVeanes, Margus / Bjørner, Nikolaj / Raschke, Alexander et al. | 2008
- 69
-
Parameterized Tree SystemsAbdulla, Parosh Aziz / Ben Henda, Noomene / Delzanno, Giorgio / Haziza, Frédéric / Rezine, Ahmed et al. | 2008
- 84
-
Adapting Petri Nets Reductions to Promela SpecificationsPajault, C. / Pradat-Peyre, J. -F. / Rousseau, P. et al. | 2008
- 99
-
Verification of a Hierarchical Generic Mutual Exclusion AlgorithmBaarir, Souheib / Sopena, Julien / Legond-Aubry, Fabrice et al. | 2008
- 116
-
Distributed Semantics and Implementation for Systems with Interaction and PriorityBasu, Ananda / Bidinger, Philippe / Bozga, Marius / Sifakis, Joseph et al. | 2008
- 134
-
Checking Correctness of Transactional BehaviorsCiancia, Vincenzo / Ferrari, Gian Luigi / Guanciale, Roberto / Strollo, Daniele et al. | 2008
- 149
-
Specifying and Verifying Web TransactionsLi, Jing / Zhu, Huibiao / He, Jifeng et al. | 2008
- 169
-
Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri NetsBillington, Jonathan / Gupta, Amar Kumar / Gallasch, Guy Edward et al. | 2008
- 185
-
Program Repair Suggestions from Graphical State-Transition SpecificationsWang, Farn / Cheng, Chih-Hong et al. | 2008
- 201
-
Verifying Erlang Telecommunication Systems with the Process Algebra μCRLGuo, Qiang / Derrick, John / Hoch, Csaba et al. | 2008
- 218
-
NQSL - Formal Language and Tool Support for Network Quality-of-Service RequirementsWebel, Christian / Gotzhein, Reinhard / Nicolay, Joachim et al. | 2008
- 234
-
Timed Mobile Ambients for Network ProtocolsAman, Bogdan / Ciobanu, Gabriel et al. | 2008
- 251
-
A Specification Framework for Earth-Friendly LogisticsSatoh, Ichiro et al. | 2008
- 267
-
A Hierarchy of Equivalences for Probabilistic ProcessesNúñez, Manuel / Llana, Luis et al. | 2008
- 283
-
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic BisimulationsFrutos Escrig, David / Palomino, Miguel / Fábregas, Ignacio et al. | 2008
- 299
-
Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine LearningShu, Guoqiang / Hsu, Yating / Lee, David et al. | 2008
- 305
-
Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication ProtocolWang, Wei / Ji, Dongyao et al. | 2008
- 324
-
Protocol Modeling with Model Program CompositionVeanes, Margus / Schulte, Wolfram et al. | 2008