وارسي مبتني بر دياگرام سيستم هاي واكنشي تركيبي و پارامتريك با استفاده از منطق زماني
/ فريد علاقمند
وارسي مبتني بر دياگرام سيستم هاي واكنشي تركيبي و پارامتريك با استفاده از منطق زماني
Author
/ فريد علاقمندEdition 1
list
شناسنامه
Main Entry
علاقمند، فريد، نویسندهTitle and Author
وارسي مبتني بر دياگرام سيستم هاي واكنشي تركيبي و پارامتريك با استفاده از منطق زماني / / فريد علاقمندPhysical Description
106 ص.؛ : نمودار، جدول.Subject
منطق زمانيTemporal logic
*ايمني آزمايي
Safety test*
*سيستم هاي پارامتريك
Parametric systems*
*نظريه ماشين هاي خودكار
Automata theory*
سيستم هاي واكنشي
Reactive systems
الگوريتم ها
Algorithms
Language
فارسی