Modeling and verification of distributed real-time systems using periodic finite state machines.
- Published in:
- Computer Systems Science & Engineering, 2007, v. 22, n. 6, p. 333
- By:
- Publication type:
- Article
Works by Obermaisser, R.
Results: 3
1
2
Modeling and verification of distributed real-time systems using periodic finite state machines.
- Published in:
- Computer Systems Science & Engineering, 2007, v. 22, n. 5, p. 333
- By:
- Publication type:
- Article
3
Modeling and verification of distributed real-time systems using periodic finite state machines.
- Published in:
- Computer Systems Science & Engineering, 2008, v. 23, n. 4, p. 289
- By:
- Publication type:
- Article