Context machines as formalism for specification of dynamic systems (Q2963869)
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: Context machines as formalism for specification of dynamic systems |
scientific article; zbMATH DE number 6687724
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Context machines as formalism for specification of dynamic systems |
scientific article; zbMATH DE number 6687724 |
Statements
21 February 2017
0 references
formal operational specification
0 references
transition system
0 references
context machine
0 references
0.7216623425483704
0 references
0.6922005414962769
0 references
0.6922003626823425
0 references
