-
1
A novel optimization approach for minimum cost design of trusses
Veröffentlicht in Computers & structures
VolltextArtikel -
2
-
3
-
4
-
5
Data Abstraction in Engineering Software Development
Veröffentlicht in Journal of computing in civil engineering
VolltextArtikel -
6
-
7
Finite State Verification of Intelligent Transportation Systems
Veröffentlicht in Journal of computing in civil engineering
VolltextArtikel -
8
Modeling and verifying active structural control systems
Veröffentlicht in Science of computer programming
VolltextArtikel -
9
Semantic Validation of Product and Process Models
Veröffentlicht in Journal of computing in civil engineering
VolltextArtikel -
10
Verification of an active control system using temporal process algebra
Veröffentlicht in Engineering with computers
VolltextArtikel -
11
Real-Time Software Development with Formal Models
Veröffentlicht in Journal of computing in civil engineering
VolltextArtikel -
12
Evaluation of distributed finite element algorithms on a workstation network
Veröffentlicht in Engineering with computers
VolltextArtikel -
13
-
14
-
15
-
16
-
17
-
18
Semantic validation of product and process models
Veröffentlicht in Journal of computing in civil engineering
VolltextArtikel -
19
Formal specification of concurrent systems
Veröffentlicht in Advances in engineering software (1992)
VolltextArtikel -
20