Abstract machine
相关论文数: 6
顶级研究者
最高引用论文
Living machines
Brosl Hasslacher, Mark W. Tilden
引用数: 59 • 1995
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa
引用数: 27 • 2018
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
引用数: 20 • 2018
A computer architecture for intelligent machines
D.R. Lefebvre, G.N. Saridis
引用数: 20 • 2003
Programming Robotic Devices with a Timed Concurrent Constraint Language
María del Pilar Muñoz, Andrés René Hurtado
引用数: 4 • 2004
Design of tool magazine and operational areas for a multi-tool machine
Christos Koulamas
引用数: 4 • 1992