DE69129727T2 - Finite automat for reliable computer and control systems - Google Patents
Finite automat for reliable computer and control systemsInfo
- Publication number
- DE69129727T2 DE69129727T2 DE69129727T DE69129727T DE69129727T2 DE 69129727 T2 DE69129727 T2 DE 69129727T2 DE 69129727 T DE69129727 T DE 69129727T DE 69129727 T DE69129727 T DE 69129727T DE 69129727 T2 DE69129727 T2 DE 69129727T2
- Authority
- DE
- Germany
- Prior art keywords
- control systems
- reliable computer
- automat
- finite
- finite automat
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/30—Monitoring
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Logic Circuits (AREA)
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
IT02181690A IT1246467B (en) | 1990-10-22 | 1990-10-22 | FINITE STATE MACHINE FOR RELIABLE COMPUTATION AND REGULATION SYSTEMS |
Publications (2)
Publication Number | Publication Date |
---|---|
DE69129727D1 DE69129727D1 (en) | 1998-08-13 |
DE69129727T2 true DE69129727T2 (en) | 1999-02-04 |
Family
ID=11187264
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
DE69129727T Expired - Fee Related DE69129727T2 (en) | 1990-10-22 | 1991-10-16 | Finite automat for reliable computer and control systems |
Country Status (2)
Country | Link |
---|---|
KR (1) | KR920008592A (en) |
DE (1) | DE69129727T2 (en) |
-
1991
- 1991-10-16 DE DE69129727T patent/DE69129727T2/en not_active Expired - Fee Related
- 1991-10-25 KR KR1019910018615A patent/KR920008592A/en not_active Application Discontinuation
Also Published As
Publication number | Publication date |
---|---|
DE69129727D1 (en) | 1998-08-13 |
KR920008592A (en) | 1992-05-28 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
DE69229338D1 (en) | Data pipeline system | |
KR950700645A (en) | DISTRIBUTED SUPERVISORY CONTROL AND DATA ACQUISITION SYSTEM | |
DE69426927D1 (en) | COMPUTER COOPERATION SYSTEM | |
DE69333122D1 (en) | Security unit for data processing systems | |
DE69319364T2 (en) | Electronic writing system | |
DE69328841T2 (en) | Multiprocessor computer system | |
DE68923627T2 (en) | Control method and device for zero-origin data spaces. | |
DE69312009T2 (en) | Data processing system | |
DE69130282D1 (en) | Position and function input system for large surface display | |
DE69324839T2 (en) | Data processing system | |
DE69415284D1 (en) | Power control systems for computers | |
DE69326076T2 (en) | COMPUTER SYSTEM | |
DE69225566T2 (en) | Computer system | |
DE69321167D1 (en) | Data processing system | |
DE69125973T2 (en) | Control and interface device for telephone systems | |
DE69320915D1 (en) | Data processing system | |
DE69033412D1 (en) | Data transfer control device for parallel processing systems | |
DE69123014D1 (en) | Control device for peripheral data processing system | |
DE69228293D1 (en) | Parallel data processing control system | |
DE69122150D1 (en) | Semiconductor memory device with improved control function for data buses | |
DE69129727D1 (en) | Finite automat for reliable computer and control systems | |
DE69220956T2 (en) | GRAPHIC COMPUTER SYSTEM WITH POSSIBILITY FOR INTERACTIVE OPERATIONS | |
DE69232107D1 (en) | Control system for metaphor environment | |
DE69230703T2 (en) | Computer bus control system | |
DE69123476D1 (en) | Control system for playback devices |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
8327 | Change in the person/name/address of the patent owner |
Owner name: STMICROELECTRONICS S.R.L., AGRATE BRIANZA, MAILAND |
|
8364 | No opposition during term of opposition | ||
8339 | Ceased/non-payment of the annual fee |