13. TACAS 2007:
Braga, Portugal (Part of ETAPS 2007) Orna Grumberg , Michael Huth (Eds.):
Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings.
Lecture Notes in Computer Science 4424 Springer 2007, ISBN 978-3-540-71208-4 Invited Contributions
export record as
dblp key:
Rance Cleaveland :
THERE AND BACK AGAIN: Lessons Learned on the Way to the Market.
1
export record as
dblp key:
Software Verification
export record as
dblp key:
conf/tacas/ManevichBCRS07 export record as
dblp key:
conf/tacas/ChatterjeeLQR07 export record as
dblp key:
Probabilistic Model Checking and Markov Chains
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Static Analysis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Markov Chains and Real-Time Systems
export record as
dblp key:
Salem Derisavi :
A Symbolic Algorithm for Optimal Markov Chain Lumping.
139-154
export record as
dblp key:
export record as
dblp key:
conf/tacas/JurdzinskiLS07 export record as
dblp key:
Timed Automata and Duration Calculus
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Assume-Guarantee Reasoning
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Biological Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Abstraction Refinement
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/tacas/SebastianiTV07 export record as
dblp key:
Message Sequence Charts
export record as
dblp key:
export record as
dblp key:
Automata-Based Model Checking
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Specification Languages
export record as
dblp key:
David Harel ,
Itai Segall :
Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, .
485-499
export record as
dblp key:
conf/tacas/BohnenkampHK07 export record as
dblp key:
export record as
dblp key:
conf/tacas/MossakowskiML07
Security
export record as
dblp key:
export record as
dblp key:
Software and Hardware Verification
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Decision Procedures and Theorem Provers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Model Checking
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/tacas/KupferschmidDHFDPB07 export record as
dblp key:
Infinite-State Systems
export record as
dblp key:
export record as
dblp key:
conf/tacas/HerbreteauST07 export record as
dblp key:
data released under the ODC-BY 1.0 license
