Pages that link to "Item:Q5953450"
From MaRDI portal
The following pages link to System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation (Q5953450):
Displaying 3 items.
- Formal modelling and verification of GALS systems using GRL and CADP (Q315303) (← links)
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036) (← links)
- Process algebraic modelling of attentional capture and human electrophysiology in interactive systems (Q1047214) (← links)
