The SCEAS System
Navigation Menu

Journals in DBLP

Formal Methods in System Design
2001, volume: 19, number: 1

  1. Albert Benveniste, Axel Poigné
    Foreword. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:19, n:1, pp:5-6 [Journal]
  2. Edmund M. Clarke, Armin Biere, Richard Raimi, Yunshan Zhu
    Bounded Model Checking Using Satisfiability Solving. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:19, n:1, pp:7-34 [Journal]
  3. Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Ilan Beer, Cindy Eisner, Daniel Geist, Tamir Heyman, Iris Reuveni, Eran Rippel, Irit Shitsevalov, Yaron Wolfsthal, Tali Yatzkar-Haham
    On the Effective Deployment of Functional Formal Verification. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:19, n:1, pp:35-44 [Journal]
  4. Werner Damm, David Harel
    LSCs: Breathing Life into Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:19, n:1, pp:45-80 [Journal]
  5. Klaus Winkelmann
    Formal Methods in Designing Embedded Systems-the SACRES Experience. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:19, n:1, pp:81-110 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002