Formal verification for an extended model

Thumbnail Image

Files

026 ISIL.pdf (3.06 MB)

Date

2024

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Université de bouira AKLI MOHAND OULHADJ

Abstract

Description

Keywords

Citation

SCIENCE EXACTE

URI

http://172.16.99.83:4000/handle/123456789/17926

Collections

Mémoires Master

Endorsement

Review

Supplemented By

Referenced By