Formal methods
| for
| asynchronous
| systems
| formal method abbr. | |
| gen. | formale Spezifikation |
| for abbr. | |
| gen. | für; während; weil; denn; zu; bei |
| commun. | zwecks |
| tech. | bezüglich |
| asynchronous abbr. | |
| gen. | asynchron; phasenverschoben |
| busin. IT | nicht gleichlaufend |
| commun. | Start-/Stopp-DEE |
| comp. | taktunabhängig; nicht synchronisiert |
| comp., MS | asynchron |
| el. | nichtisochron |
| emerg.care | asynchron |
| microel. | ungetaktet |
| system abbr. | |
| gen. | Methode; System; Anlage |
| refrig. | System |
| tech. | Anlage; Anordnung; Bauart; Netz; Netzverbund; Bezugssystem datum |
| |||
| formale Spezifikation | |||
| formale Methode | |||
| English thesaurus | |||
| |||
| FM (Alex Lilo) | |||
|
Formal methods : 6 phrases in 4 subjects |
| Business | 2 |
| General | 2 |
| Information technology | 1 |
| Research and development | 1 |