Cover Image
Read Now

1
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- Specification and Validation of Behavioural Protocols in the rCOS Modeler -- The Interplay between Relationships...”
Cover Image
Read Now

2
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... -- Validating SCTP Simultaneous Open Procedure -- Improving Time Bounded Reachability Computations...”
Cover Image
Read Now

3
Published 2012
Springer Berlin Heidelberg
Subjects: “...Compilers (Computer programs)...”