Вы здесь

Главная

spin

Связанные издания:

Linking STeP with SPIN
Low-Fat Recipes for Spin
Puzzles and Spin: Irregular SPIN cube
SPIN Model Checking and Software Verification: Proc./7th Intern. SPIN Workshop, Stanford, CA, USA, August-September 2000
Testing SPIN s LTL Formula Conversion into Buchi Automata with Randomly Generated Input
Using SPIN for Verification of Multi-agent Data Analysis
Verification and Optimization of a PLC Control Schedule
Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
Верификация алгоритмов мультиагентного анализа данных с помо ью системы проверки моделей SPIN