-
1
A reference model for requirements and specifications
Veröffentlicht in IEEE software
VolltextArtikel -
2
-
3
Verisim: formal analysis of network simulations
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
4
Cumulative Attestation Kernels for Embedded Systems
Veröffentlicht in IEEE transactions on smart grid
VolltextArtikel -
5
Policy-directed certificate retrieval
Veröffentlicht in Software, practice & experience
VolltextArtikel -
6
-
7
-
8
-
9
Formal verification of standards for distance vector routing protocols
Veröffentlicht in Journal of the ACM
VolltextArtikel -
10
-
11
-
12
The common order-theoretic structure of version spaces and ATMSs
Veröffentlicht in Artificial intelligence
VolltextArtikel -
13
-
14
-
15
-
16
Computing ML Equality Kinds Using Abstract Interpretation
Veröffentlicht in Information and computation
VolltextArtikel -
17
-
18
Infectious Drug Resistance Among Clinically Isolated Escherichia coli
Veröffentlicht in Journal of Bacteriology
VolltextArtikel -
19
Coherence and consistency in domains
Veröffentlicht in Journal of pure and applied algebra
VolltextArtikel -
20