Search
Search Constraints
You searched for: Author/Creator Palanque, Philippe- Palanque, Philippe [remove] 6
- 004.019 4
- Human-computer interaction -- Periodicals 4
- 004 1
- 620.0011 1
- Computer architecture -- Periodicals 1
- Computer systems -- Periodicals 1
- Systems engineering -- Congresses 1
- Systems engineering -- Periodicals 1
- feedforward -- formal methods -- Petri nets -- interactive systems engineering 1
- formal description techniques -- interactive applications -- model-view-controller -- refinement and proofs -- Event-B -- safety-critical interactive systems 1