Search
Search Constraints
You searched for: Author/Creator Pantel, Marc- Pantel, Marc [remove] 4
- 004.05 2
- Computer science -- Periodicals 2
- Formal verification -- Composition -- Proof assistant -- MDE -- MOF 2
- 003.3 1
- 620.0011 1
- Computer simulation -- Periodicals 1
- Periodicals 1
- Real-time embedded system -- simulation -- online diagnosis -- accidental fault -- hidden Markov model 1
- Systems engineering 1
- Systems engineering -- Periodicals 1