共 50 条
- [1] THE EXECUTION MODEL AND THE ARCHITECTURE FOR REAL-TIME PARALLEL SYSTEMS [J]. INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS, 1994, 51 : 177 - 182
- [3] Extending the Standard Execution Model of UML for Real-Time Systems [J]. DISTRIBUTED, PARALLEL AND BIOLOGICALLY INSPIRED SYSTEMS, 2010, 329 : 43 - +
- [4] An analyzable execution model for SDL for embedded real-time systems [J]. REAL TIME PROGRAMMING 1999 (WRTP'99), 1999, : 171 - 176
- [5] Estimation of the execution time in real-time systems [J]. Programming and Computer Software, 2016, 42 : 41 - 48
- [6] Real-Time Event Framework based on component model for distributed real-time systems [J]. PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 1942 - 1948
- [7] Model Feasible Interactions in Distributed Real-Time Systems [J]. FORMAL MODELING: ACTORS, OPEN SYSTEMS, BIOLOGICAL SYSTEMS: ESSAYS DEDICATED TO CAROLYN TALCOTT ON THE OCCASION OF HER 70TH BIRTHDAY, 2011, 7000 : 144 - 168
- [8] Implementing reliable distributed real-time systems with the Θ-model [J]. PRINCIPLES OF DISTRIBUTED SYSTEMS, 2006, 3974 : 334 - +
- [9] REAL-TIME DISTRIBUTED SYSTEMS [J]. COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1993, 32 : 3 - 12
- [10] Model-based specification and execution of embedded real-time systems [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2004, : 1392 - 1393