Formal Description Techniques and Protocol Specification, Testing and Verification
Latest Publications

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer US

9781475752601, 9780387352718
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Modelling Digital Logic in SDL

1997 ◽  
pp. 367-382 ◽  
Author(s):  
G. Csopaki ◽  
K. J. Turner
Keyword(s):  
Digital Logic

scholarly journals Algebraic Specification through Expression Transformation

1997 ◽  
pp. 355-366 ◽  
Author(s):  
M. J. Fernández Iglesias ◽  
M. Llamas Nistal
Keyword(s):  
Algebraic Specification

scholarly journals Dynamic priorities for modeling real-time

1997 ◽  
pp. 321-336 ◽  
Author(s):  
Girish Bhat ◽  
Rance Cleaveland ◽  
Gerald Lüttgen
Keyword(s):  
Real Time ◽  
Dynamic Priorities

scholarly journals An Improved Search Strategy for Lossy Channel Systems

1997 ◽  
pp. 251-264 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Mats Kindahl ◽  
Doron Peled
Keyword(s):  
Search Strategy ◽  
Lossy Channel ◽  
Channel Systems

scholarly journals Friendly Testing as a Conformance Relation

1997 ◽  
pp. 283-298 ◽  
Author(s):  
David Frutos-Escrig ◽  
Luis Llana-Díaz ◽  
Manuel Núñez
Load More ...
Sign in / Sign up

Export Citation Format

Share Document