Using LOTOS for High level Specification of large scale system | ASJP

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

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.

Study Of Physical Precursors Of Failure Of Large Scale Rock Blocks In Relation To Earthquake And Rockburst Prediction

Baddari Kamel . Sobolev Gucnadi A. . Frolov Anatoli D. .
pages 253-263.

A Near-ml Performance Adaptive Dijkstra Algorithm For Large Scale Mimo Detection

Hellassa Wassim . Boukari Karima .
pages 52-62.