Kanály - Formal Description Techniques and Protocol Specification, Testing and Verification : :: Biblioteca ITESO

Podobné jednotky: Formal Description Techniques and Protocol Specification, Testing and Verification :

Rychlý náhled
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE XI/PSTV XVIII.98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3.6 November 1998, Paris, France /
Rychlý náhled
Formal Description Techniques, VI : Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93 /
Rychlý náhled
Formal Methods for Protocol Engineering and Distributed Systems : Forte XII / PSTV XIX.99 /
Rychlý náhled
Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10.13, 2000, Pisa, Italy /
Rychlý náhled
Using Formal Description Techniques : An Introduction to ESTELLE, LOTOS and SDL /
Rychlý náhled
The Formal Description Technique Lotos : Results of the ESPRIT/SEDOS Project /
Rychlý náhled
Operational Semantics and Verification of Security Protocols /
Rychlý náhled
Specification and Verification of Multi-agent Systems /
Rychlý náhled
Modular Specification and Verification of Object-Oriented Programs /
Rychlý náhled
Hardware Description Languages and their Applications : Specification, modelling, verification and synthesis of microelectronic systems /
Rychlý náhled
Domain-Specific Model-Driven Testing /
Rychlý náhled
Specification and Verification of Declarative Open Interaction Models : A Logic-Based Approach /
Rychlý náhled
Test and Validation of Vehicle Communication Protocols and Smart-Home Communication Protocols for Its Integration /
Rychlý náhled
Formal Techniques for Networked and Distributed Systems . FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /
Rychlý náhled
Interactive Systems: Design, Specification, and Verification : 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 /
Rychlý náhled
Interactive Systems. Design, Specification, and Verification : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings /
Rychlý náhled
Interactive Systems. Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers /
Rychlý náhled
Interactive Systems. Design, Specification, and Verification : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers /
Rychlý náhled
SystemVerilog for Hardware Description : RTL Design and Verification /
Rychlý náhled
Interactive Systems: Design, Specification, and Verification : 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers /
Rychlý náhled
Validation, Verification and Test of Knowledge-Based Systems /
Rychlý náhled
EDA for IC System Design, Verification, and Testing /
Rychlý náhled
SAE J1850 Verification Test Procedures /
Rychlý náhled
Interactive Systems. Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers /

Autor: Tadanori Mizuno, Norio Shiratori, Teruo Higashino, Atsushi Togashi

Rychlý náhled
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII .97 /

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0