Наверх
Обратно
8 800 250-06-18
Менюx
КорзинаАвторизоватьсяНаши магазиныПомощь
Моя корзина: нет товаровx
Нет товаров
Оплата и доставка
x
Ваш город: Судоверфь, вам доступны способы доставки:
  • отправка Почтой РФ (от 200 руб)
Вам доступны способы оплаты:
  • при получении заказа
  • предоплата: банковские карты, терминалы оплаты и многое другое
  • банковский перевод для физ. лиц
  • банковский перевод для юр. лиц
Авторизоваться
Судоверфь
x
Выбор города

Ваш город: Судоверфь ?

Ваш город: Судоверфьизменить )
Пункты самовывоза
Вам нравится эта книга?  
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»

Generating Simulation Models of Communication Protocols
Rahman MD Tanzilur, Saini Gurpreet Singh

Вы можете заказать:
Подробнее о технологии 
Экономьте до 30% с бонусными баллами! При покупке вы получите
от 301 балла
на свой бонусный счёт. Получить баллы и скидку
Вам доступны способы доставки:
  • отправка Почтой РФ (от 200 руб)
Способы оплаты

Описание

There have been many developments in the field of facilitated model based verification and validation techniques. Most of them have been based upon observing the external behaviour of the system. Our approach follows the same and is valid with the source code of the system under observance is not available Inference mechanism allow us to infer such machine models by observing. We present a framework which adopts to generate component with infinite/finite states and adapt to formal verifications. The models used are communication protocol inferred by regular inference observed through the behaviour of communication protocol entity. Also, an approach is presented such that the observed behaviour of the protocol validates to the designed model of the protocol.
далее Читать
Свернуть
   Читать далее
Год:2014
Страниц:56
ISBN:9783846526019
Формат:22.9cm x 15.2cm x 0.3cm
Код:pod 6072378
Авторы:Gurpreet, Md, Rahman, Saini, Singh, Tanzilur
Тематика:Компьютерная литература

Мнения и отзывы

Авторизуйтесь или зарегистрируйтесь на сайте, чтобы оставить отзыв и получить возможность заработать 15 бонусных баллов в бонусной программе
Оставить отзыв
Спасибо
за отзыв!
Отслеживать статус можно в
«Ваших отзывах».
Оставить отзыв
Generating Simulation Models of Communication Protocols
Generating Simulation Models of Communication Protocols
Rahman MD Tanzilur, Saini Gurpreet Singh
 
Авторизуйтесь, чтобы оставить свой отзыв о товаре
Общее впечатление
Вам нравится эта книга?  
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»
0 букв

Отзыв длиной более 500 букв, который будет принят модератором, принесет вам 15 баллов для участия в нашей бонусной программе!

Отзыв должен быть уникальным и содержательным: нельзя копировать отзывы, мнения и информацию с других сайтов.

Не содержать нецензурную брань.

Отзыв должен относиться к товару, на который он написан.

Без спойлеров.

Мы не рекомендуем пересказ аннотации или содержания.

Нельзя указывать ссылки на сторонние ресурсы и email адреса

Назад к написанию отзыва
×
x

Если Вы обнаружили ошибку в описании товара «Generating Simulation Models of Communication Protocols» Rahman MD Tanzilur, Saini Gurpreet Singh, выделите её мышкой и нажмите: Ctrl+Enter. Спасибо!

©2006-2018, ООО «Буквоед»
8 800 250-06-18

Спасибо за ваше обращение.
Его номер - .

Ответ будет направлен на указанную почту в ближайшее время.

x
x