Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Printable view
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings
Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 2280/2002
DOI10.1007/3-540-46002-0
Copyright2002
ISBN978-3-540-43419-1
Subject CollectionComputer Science
SpringerLink DateThursday, July 31, 2003
Add to marked items
Editorial View Condensed List View Expanded List View 
Save this listEmail this listDownload this list
35 ChaptersFirst | 1-10 | 11-20 | 21-30 | 31-35 | Next
Front Matter

Front MatterPDF (285.0 KB)

  
Chapter
Software Construction and Analysis Tools for Future Space Missions
Michael R. Lowry
DOI: 10.1007/3-540-46002-0_1
Full TextPDF (331.4 KB)
 95-104
Chapter
Alloy: A New Technology for Software Modelling
Daniel Jackson
DOI: 10.1007/3-540-46002-0_2
Full TextPDF (174.6 KB)
 175-192
Chapter
Improving the Verification of Timed Systems Using Influence Information
Victor Braberman, Diego Garbervetsky and Alfredo Olivero
DOI: 10.1007/3-540-46002-0_3
Full TextPDF (907.3 KB)
 21-36
Chapter
Digitisation and Full Abstraction for Dense-Time Model Checking
Joël Ouaknine
DOI: 10.1007/3-540-46002-0_4
Full TextPDF (608.8 KB)
 23-37
Chapter
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
Marta Kwiatkowska, Gethin Norman and David Parker
DOI: 10.1007/3-540-46002-0_5
Full TextPDF (752.9 KB)
 119-125
Chapter
Timed Automata with Asynchronous Processes: Schedulability and Decidability
Elena Fersman, Paul Pettersson and Wang Yi
DOI: 10.1007/3-540-46002-0_6
Full TextPDF (881.7 KB)
 125-149
Chapter
Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems
Hojung Cha and Rhan Ha
DOI: 10.1007/3-540-46002-0_7
Full TextPDF (681.8 KB)
 63-95
Chapter
An Analysis of Zero-Clairvoyant Scheduling
K. Subramani
DOI: 10.1007/3-540-46002-0_8
Full TextPDF (778.1 KB)
 209-219
Chapter
Preemptive Job-Shop Scheduling Using Stopwatch Automata
Yasmina Abdeddaïm and Oded Maler
DOI: 10.1007/3-540-46002-0_9
Full TextPDF (636.7 KB)
 39-53
Chapter
Explicit Modeling of Influences, and of Their Absence, in Distributed Systems
Horst F. Wedde and Arnim Wedig
DOI: 10.1007/3-540-46002-0_10
Full TextPDF (732.5 KB)
 127-141
Back Matter

Back MatterPDF (59.1 KB)

  
35 ChaptersFirst | 1-10 | 11-20 | 21-30 | 31-35 | Next
more options
Find


Starts With
35 Results
ABCDEFGHIJKLMNOPQRSTUVWXYZspace
0123456789ÜÖËÄßÀÁÂÃÇÈÉÊÌÍÎÑÒÓÔÕÙÚÛmore
Author
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.106 • Server: mpweb24
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)