Time for Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642137532, 9783642137549
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals What Is in a Step: New Perspectives on a Classical Question

2010 ◽  
pp. 370-399 ◽  
Author(s):  
Willem-Paul de Roever ◽  
Gerald Lüttgen ◽  
Michael Mendler

scholarly journals A Scalable Segmented Decision Tree Abstract Domain

2010 ◽  
pp. 72-95 ◽  
Author(s):  
Patrick Cousot ◽  
Radhia Cousot ◽  
Laurent Mauborgne
Keyword(s):  
Decision Tree

scholarly journals Towards Component Based Design of Hybrid Systems: Safety and Stability

2010 ◽  
pp. 96-143 ◽  
Author(s):  
Werner Damm ◽  
Henning Dierks ◽  
Jens Oehlerking ◽  
Amir Pnueli
Keyword(s):  
Hybrid Systems ◽  
Safety And Stability

scholarly journals Knowledge Based Scheduling of Distributed Systems

2010 ◽  
pp. 26-41 ◽  
Author(s):  
Saddek Bensalem ◽  
Doron Peled ◽  
Joseph Sifakis
Keyword(s):  
Distributed Systems ◽  
Knowledge Based
Load More ...
Sign in / Sign up

Export Citation Format

Share Document