Towards a formal specification for an AADL behavioural subset using the LNT language
Year of publication: |
2020
|
---|---|
Authors: | Mkaouar, Hana ; Zalila, Bechir ; Hugues, Jérôme ; Jmaiel, Mohamed |
Published in: |
International journal of business and systems research : IJBSR. - Genève : Inderscience Enterprises, ISSN 1751-2018, ZDB-ID 2435974-9. - Vol. 14.2020, 2, p. 162-190
|
Subject: | real-time systems | formal verification | architecture analysis and design language | AADL | behaviour annex |
-
Galactica, a Digital Planetarium for Immersive Virtual Reality Settings
Dias, Miguel Sales, (2016)
-
Towards an Optimal Generation of Zones Graph Relating Timed Bisimulation Relation and Distribution
Riadh, Matmat, (2016)
-
A Review of the Scopes and Challenges of the Modern Real-Time Operating Systems
Shukla, Amit K., (2018)
- More ...
-
Extension and adaptation of an aspect oriented programming language for real-time systems
Gabsi, Wafa, (2020)
-
Web Services Description and Discovery for Mobile Crowdsensing: Survey and Future Guidelines
Bradai, Salma, (2016)
-
Towards an approach for managing dynamic deployment in distributed service oriented architectures
Miladi, Mohamed Nadhmi, (2013)
- More ...