共 50 条
- [1] Component-based Construction of Heterogeneous Real-time Systems in BIP [J]. FUTURE OF SOFTWARE ENGINEERING, 2011, : 150 - 150
- [5] Unified Modeling of Active and Reactive Components for Real-time Systems [J]. 2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2013, : 145 - 148
- [6] Modeling and designing a real-time event manager in a heterogeneous distributed system [J]. ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1997, 1997, : 97 - 98
- [7] Translating AADL into BIP - Application to the Verification of Real-Time Systems [J]. MODELS IN SOFTWARE ENGINEERING, 2009, 5421 : 5 - 19
- [8] Modeling of Components in Smart Distribution Systems for Real-time Security Analysis [J]. Dianli Xitong Zidonghua/Automation of Electric Power Systems, 2023, 47 (24): : 39 - 51
- [9] Analysis of components' reliability modeling based on real-time operating conditions [J]. 2006 INTERNATIONAL CONFERENCE ON POWER SYSTEMS TECHNOLOGY: POWERCON, VOLS 1- 6, 2006, : 1637 - +
- [10] Modeling Legacy Code with BIP: how to Reduce the Gap between Formal Description and Real-Time Implementation [J]. 2016 FORUM ON SPECIFICATION AND DESIGN LANGUAGES (FDL), 2016,