Real time programming. Languages, specification and verification. (Q3566476)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Real time programming. Languages, specification and verification. |
scientific article; zbMATH DE number 5717912
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Real time programming. Languages, specification and verification. |
scientific article; zbMATH DE number 5717912 |
Statements
8 June 2010
0 references
embedded systems
0 references
ESTEREL
0 references
Lustre
0 references
Communicating Reactive Processes
0 references
Communicating Reactive State Machines
0 references
Time Triggered Protocol
0 references
synchronous language
0 references
0.7853971123695374
0 references
0.7842819094657898
0 references
