Synthèse
Volume 5, Numéro 2, Pages 98-108

Using Lotos For High Level Specification Of Large Scale System



Authors : Alloui Noura .

Abstract

voir le Pdf

Keywords

Voir le Pdf

Les articles similaires

Vers Un Enrichissement Des Comportements Des Design Patterns Par Le Langage De Specification Formelle Lotos

Zitouni A . 
pages 61-66.

Large Scale Tectonic And Mega-scale Seismic Zoning. Implications On Civil Engineering Constructions. The Case Of The Maghreb

Beghoul Noureddine .  Benhallou Hadj . 
pages 183-211.

Use Of Rasch-andrich’s Rating Scale Model In The Calibrating Of The Depression, Anxiety And Stress Scale (dass-42) On High School Students

Aiouadj Sonia .  Ziad Rachid . 
pages 133-147.

Damage Detection For A Large-scale Truss Bridge Using Tranmissibility And Annaoa

Long Nguyen Ngoc .  Thanh Bui Tien .  Hanh Hong Nguyen .  Thang Le Xuan .  Xuan Tung Nguyen .  Hoa Tran Ngoc . 
pages 69-80.

Model Updating For Large-scale Railway Bridge Using Grey Wolf Algorithm And Genetic Alghorithms

Tung Nguyen-xuan .  Tung Thang Le-xuan .  Lan Nguyen-ngoc .  Hoa Tran-ngoc .  Long Nguyen-ngoc .  Thanh Bui-tien . 
pages 507-519.

Formats de citation