LIBROS DEL AUTOR: gurpreet singh saini

5 resultados para LIBROS DEL AUTOR: gurpreet singh saini

gurpreet singh saini Eliminar filtro Quitar filtros
  • Génération de modèles de simulation de protocoles de communication
    Gurpreet Singh Saini / Md. Tanzilur Rahman
    De nombreux progrès ont été réalisés dans le domaine des techniques de vérification et de validation basées sur des modèles. La plupart d’entre elles reposent sur l’observation du comportement externe du système. Notre approche suit cette même ligne et s’applique même lorsque le code source du système à observer n’est pas disponible. Un mécanisme d’inférence nous permet de dédu...
    Disponible

    73,20 €

  • Erstellung von Simulationsmodellen für Kommunikationsprotokolle
    Gurpreet Singh Saini / Md. Tanzilur Rahman
    Im Bereich der vereinfachten modellbasierten Verifikations- und Validierungstechniken gab es zahlreiche Entwicklungen. Die meisten davon basieren auf der Beobachtung des externen Verhaltens des Systems. Unser Ansatz folgt diesem Prinzip und ist auch dann gültig, wenn der Quellcode des zu beobachtenden Systems nicht verfügbar ist. Inferenzmechanismen ermöglichen es uns, solche M...
    Disponible

    74,51 €

  • Generazione di modelli di simulazione dei protocolli di comunicazione
    Gurpreet Singh Saini / Md. Tanzilur Rahman
    Si sono registrati numerosi sviluppi nel campo delle tecniche di verifica e convalida basate su modelli facilitati. La maggior parte di esse si è basata sull’osservazione del comportamento esterno del sistema. Il nostro approccio segue la stessa linea ed è valido anche quando il codice sorgente del sistema oggetto di osservazione non è disponibile; i meccanismi di inferenza ci ...
    Disponible

    74,51 €

  • Tworzenie modeli symulacyjnych protokołów komunikacyjnych
    Gurpreet Singh Saini / Md. Tanzilur Rahman
    W dziedzinie technik ułatwionej weryfikacji i walidacji opartej na modelach nastąpił znaczny postęp. Większość z nich opiera się na obserwacji zewnętrznego zachowania systemu. Nasze podejście jest z tym zgodne i sprawdza się nawet w sytuacji, gdy kod źródłowy obserwowanego systemu nie jest dostępny. Mechanizm wnioskowania pozwala nam wywnioskować takie modele maszynowe na podst...
    Disponible

    74,51 €

  • Criação de modelos de simulação de protocolos de comunicação
    Gurpreet Singh Saini / Md. Tanzilur Rahman
    Tem havido muitos avanços no campo das técnicas facilitadas de verificação e validação baseadas em modelos. A maioria delas tem-se baseado na observação do comportamento externo do sistema. A nossa abordagem segue o mesmo princípio e é válida mesmo quando o código-fonte do sistema em análise não está disponível. Os mecanismos de inferência permitem-nos inferir esses modelos de ...
    Disponible

    74,51 €