نتائج البحث

Development of a synchronous subset of AADL

• Authors : Frappier, Marc; Glässer, Uwe; Khurshid, Sarfraz

Subjects: contributionToPeriodical

• Source: Filali , M & Lawall , J 2010 , Development of a synchronous subset of AADL . in M Frappier , U Glässer , S Khurshid , R Laleau & S Reeves (eds) , Abstract State

تفاصيل العنوان

Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude

• Authors : Ölveczky, Peter Csaba; Boronat, Artur; Meseguer, José ...

Subjects: [INFO.INFO-DL]Computer Science [cs]/Digital Libraries [cs.DL]Amsterdam; Netherlands

• Source: Lecture Notes in Computer Science ; Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on

تفاصيل العنوان

Formal Semantics and Analysis of Behavioral AADL Models in Real-Time maude

• Authors : Peter Csaba Ölveczky; Artur Boronat; Jose ́ Meseguer ...

• Source: http://heim.ifi.uio.no/peterol/RealTimeMaude/AADL/webTechRep.pdf.

تفاصيل العنوان

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

• Authors : Carreira, Paulo; Amaral, Vasco; Vangheluwe, Hans

Subjects: Software Engineering; Cyber-physical systems, IoT; Special Purpose and Application-Based Systems

تفاصيل العنوان

Towards a verified compiler prototype for the synchronous language SIGNAL

• Authors : Zhibin, Yang; Bodeveix, Jean-Paul; Filali, Mamoun ...

Subjects: Génie logiciel; Systèmes embarqués; Cryptographie et sécurité

تفاصيل العنوان

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

• Authors : Carreira, Paulo; Amaral, Vasco; Vangheluwe, Hans

Subjects: Software Engineering; Cyber-physical systems; IoT

تفاصيل العنوان

Aponeurosis discission, a low-detergent method for tissue-engineered acellular ligament scaffolds

• Authors : Sheng-yuan Zhou; Bo Yuan; Wen-mao Huang

Subjects: Materials of engineering and construction. Mechanics of materials; TA401-492; Medical technology

• Source: Journal of Materials Science: Materials in Medicine, Vol 33, Iss 5, Pp 1-10 (2022)

تفاصيل العنوان

Towards a Secure RA2DL Based Approach

• Authors : Adaili, Farid; Mosbahi, Olfa; Khalgui, Mohamed ...

Subjects: Reconfiguration; Component-based approach; Embedded system

• Source: Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papers ; https://hal.science/hal-02425159 ;

تفاصيل العنوان

Safety contracts for timed reactive components

• Authors : Dragomir, Iulia; Ober, Iulian; Percebois, Christian ...

Subjects: Génie logiciel; Systèmes embarqués; Cryptographie et sécurité

تفاصيل العنوان

Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback

• Authors : Aboussoror, El Arbi; Ober, Ileana; Ober, Iulian ...

Subjects: Génie logiciel; Systèmes embarqués; Cryptographie et sécurité

تفاصيل العنوان