|
СТ |
Static Analysis of Digital Filters |
2004 |
Feret J. |
|
|
|
Lecture Notes in Computer Science |
23.04.2004 |
|
СТ |
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software |
2002 |
Blanchet B., Cousot P., Cousot R., Feret J., Mauborgne L., Mine A., Monniaux D., Rival X. |
|
|
|
Lecture Notes in Computer Science |
14.02.2003 |
|
СТ |
Dependency Analysis of Mobile Systems |
2002 |
Feret J. |
|
|
|
Lecture Notes in Computer Science |
08.05.2002 |
|
СТ |
Abstract Interpretation-Based Static Analysis of Mobile Ambients |
2001 |
Feret J. |
|
|
|
Lecture Notes in Computer Science |
31.07.2001 |
