A Tool Architecture for the Next Generation of Uppaal (Englisch)
- Neue Suche nach: David, Alexandre
- Neue Suche nach: Behrmann, Gerd
- Neue Suche nach: Larsen, Kim G.
- Neue Suche nach: Yi, Wang
- Neue Suche nach: David, Alexandre
- Neue Suche nach: Behrmann, Gerd
- Neue Suche nach: Larsen, Kim G.
- Neue Suche nach: Yi, Wang
In:
Formal Methods at the Crossroads. From Panacea to Foundational Support
5
;
352-366
;
2003
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:A Tool Architecture for the Next Generation of Uppaal
-
Beteiligte:David, Alexandre ( Autor:in ) / Behrmann, Gerd ( Autor:in ) / Larsen, Kim G. ( Autor:in ) / Yi, Wang ( Autor:in )
-
Erschienen in:Lecture Notes in Computer Science ; 2757, 5 ; 352-366
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.2003
-
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
-
In Memoriam Armando Martín HaebererMaibaum, Tom et al. | 2003
- 26
-
UNU and UNU/IISTChaochen, Zhou et al. | 2003
- 34
-
Contract-Based TestingAichernig, Bernhard K. et al. | 2003
- 49
-
The Development of the RAISE ToolsGeorge, Chris et al. | 2003
- 65
-
An Algebraic Approach to the VERILOG ProgrammingJifeng, He et al. | 2003
- 81
-
Real-Time Systems Development with Duration Calculi: An OverviewHung, Dang et al. | 2003
- 97
-
X2Rel: An XML Relation Language with Formal SemanticsJanowski, Tomasz et al. | 2003
- 115
-
Where, Exactly, Is Software Development?Jackson, Michael et al. | 2003
- 132
-
From Formal Techniques to Well-Founded Software Development MethodsAstesiano, Egidio / Reggio, Gianna / Cerioli, Maura et al. | 2003
- 151
-
Towards the Verifying CompilerHoare, Tony et al. | 2003
- 161
-
A Grand Challenge Proposal for Formal Methods: A Verified StackMoore, J. Strother et al. | 2003
- 173
-
“What Is an Infrastructure?” Towards an Informatics AnswerBjørner, Dines et al. | 2003
- 191
-
A Formal Basis for Some Dependability NotionsJones, Cliff B. et al. | 2003
- 207
-
Multi-view Modeling of Software SystemsBroy, Manfred et al. | 2003
- 226
-
An Executable Specification Language Based on Message Sequence ChartsRoychoudhury, Abhik / Thiagarajan, P. S. et al. | 2003
- 242
-
Graph-Based Models of Internetworking SystemsFerrari, Gianluigi / Montanari, Ugo / Tuosto, Emilio et al. | 2003
- 267
-
Software Development by RefinementPavlovic, Dusko / Smith, Douglas R. et al. | 2003
- 287
-
Formal Methods within a Totally Functional Approach to ProgrammingBailes, Paul A. / Kemp, Colin J. M. et al. | 2003
- 308
-
Coordination Technologies for Just-in-Time IntegrationFiadeiro, José Luiz et al. | 2003
- 322
-
Real-Time Process Algebra and Its ApplicationsWang, Yingxu et al. | 2003
- 337
-
Making Timed Automata CommunicateChen, Jing / Lin, Huimin et al. | 2003
- 352
-
A Tool Architecture for the Next Generation of UppaalDavid, Alexandre / Behrmann, Gerd / Larsen, Kim G. / Yi, Wang et al. | 2003
- 367
-
Verification by AbstractionShankar, Natarajan et al. | 2003
- 381
-
Combining Decision ProceduresManna, Zohar / Zarba, Calogero G. et al. | 2003
- 423
-
A Theory of Hints in Model CheckingKaltenbach, Markus / Misra, Jayadev et al. | 2003
- 439
-
Type Systems for Concurrent ProgramsKobayashi, Naoki et al. | 2003