Timed Chi: modeling, simulation and verification of hardware systems (Q2970246)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6697990
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Timed Chi: modeling, simulation and verification of hardware systems |
scientific article; zbMATH DE number 6697990 |
Statements
29 March 2017
0 references
formal methods
0 references
formal languages
0 references
formal semantics
0 references
process algebras
0 references
real-time systems
0 references
formal specification and analysis of hardware systems
0 references
software engineering research
0 references
0.9647082686424256
0 references
0.7686788439750671
0 references
0.7415586709976196
0 references
