Author:
Marchand Hervé,Boivineau Olivier,Lafortune Stéphane
Publisher
Society for Industrial & Applied Mathematics (SIAM)
Subject
Applied Mathematics,Control and Optimization
Reference11 articles.
1. Introduction to Discrete Event Systems
2. An experiment in automatic generation of test suites for protocols with verification technology
3. JohnHopcroft, JeffreyUllman, Wprowadzenie do teorii automatów, języków i obliczeń, Wydawnictwo Naukowe PWN, Warsaw, 1994, 480–0, Translated from the 1979 English original by Beata Konikowska99a:68001
4. Planning and acting in partially observable stochastic domains
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献