-
1
A Survey on Blockchain Technology: Evolution, Architecture and Security
Veröffentlicht in IEEE access
VolltextArtikel -
2
-
3
-
4
-
5
A property based specification formalism classification
Veröffentlicht in The Journal of systems and software
VolltextArtikel -
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
Multiple views of an executable software specification language
Veröffentlicht in The Journal of systems and software
VolltextArtikel -
16
WiMesh: Leveraging Mesh Networking For Disaster Communication in Poor Regions of the World
Veröffentlicht in arXiv.org
VolltextArtikel -
17
-
18
A Visual Syntax-directed Editor for the Descartes Specification Language
Veröffentlicht in Software, practice & experience
VolltextArtikel -
19
-
20