Abstract | ||
---|---|---|
In this short note we give an overview on past and ongoing projects in the context of formal methods for industrial critical systems of the Formal Methods Group of the Computer Systems Institute at ETH Zürich. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1016/S1571-0661(04)80828-4 | Electronic Notes in Theoretical Computer Science |
Keywords | Field | DocType |
formal method | Computer science,Theoretical computer science,Mathematics education,Formal methods | Journal |
Volume | ISSN | Citations |
80 | 1571-0661 | 0 |
PageRank | References | Authors |
0.34 | 4 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Armin Biere | 1 | 4106 | 245.11 |
Cyrille Artho | 2 | 588 | 44.46 |
Malek Haroud | 3 | 6 | 1.01 |
Viktor Schuppan | 4 | 409 | 17.49 |