Pengarang

Vlad Rusu;

Judul

Verifying periodic task-control sysems, Hal. 61-68

Nama Prosiding

Hybrid and real-time systems: international workshop, Hart'97 Grenoble, France, March 26-28, 1997 Proceedings

Bahasa

Eng

No. Seri

Lecture Notes in Computer Science 1201

Penerbitan

Springer, 1977

Kata Kunci

Task-control systems, periodic hybrid automata, verfication, decidability

Tahun

1997

No. Panggil

004.33 Mal f