COMBINING MASCOT WITH MODULA-2 TO AID THE ENGINEERING OF REAL-TIME SYSTEMS.

被引：0

作者：

Budgen, D. ^{[1
]}

机构：

[1] Univ of Stirling, Dep of Computing, Science, Stirling, Scotl, Univ of Stirling, Dep of Computing Science, Stirling, Scotl

来源：

Software - Practice and Experience | 1985年 / 15卷 / 08期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：767 / 793

共 50 条

[31] Limited Preemptive Scheduling for Real-Time Systems. A Survey
Buttazzo, Giorgio C.
Bertogna, Marko
Yao, Gang
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2013, 9 (01) : 3 - 15
[32] An engineering process for the verification of real-time systems
Burns, A.
Lin, T. -M.
FORMAL ASPECTS OF COMPUTING, 2007, 19 (01) : 111 - 136
[33] Response Time Upper Bounds for Fixed Priority Real-Time Systems.
Davis, R. I.
Burns, A.
RTSS: 2008 REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2008, : 407 - 418
[34] EXPERT SYSTEMS TECHNOLOGY FOR SAFETY-CRITICAL REAL-TIME SYSTEMS.
Theuretzbacher, N.
Electrical communication, 1986, 60 (02): : 147 - 153
[35] Software engineering practices and tools for real-time systems .2.
Bhattacharya, S
Mojdehbakhsh, R
Tsai, WT
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1996, 6 (03) : 329 - 330
[36] A Holonic approach to reconfiguring real-time distributed control systems.
Brennan, RW
Fletcher, M
Norrie, DH
MULTI-AGENT SYSTEMS AND APPLICATIONS II, 2002, 2322 : 323 - 335
[37] SCHEDULING ALGORITHM FOR COMPUTATIONAL PROCESS IN REAL-TIME MULTIPROCESSOR SYSTEMS.
Koryachko, V.P.
Suskin, V.V.
Automatic Control and Computer Sciences, 1985, 19 (03) : 1 - 3
[38] CONSTRUCTIVE SOLUTION TO THE EXTENSIBILITY PROBLEM IN REAL-TIME COMPUTER SYSTEMS.
Reghbati, H.
Hamacher, V.C.
INFOR Journal, 1979, 17 (02): : 166 - 186
[39] The application of real-time PCR to food and agricultural systems. A review
Levin, RE
FOOD BIOTECHNOLOGY, 2004, 18 (01) : 97 - 133
[40] SENSOR-BASED REAL-TIME ROBOT CONTROL SYSTEMS.
Demers, Kenneth P.
Walsh, Peter M.
Robotics Today, 1983, 5 (03): : 69 - 72

← 1 2 3 4 5 →