Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 4 of 15 found articles
 
 
  Component-based verification using incremental design and invariants
 
 
Title: Component-based verification using incremental design and invariants
Author: Bensalem, Saddek
Bozga, Marius
Legay, Axel
Nguyen, Thanh-Hung
Sifakis, Joseph
Yan, Rongjie
Appeared in: Software and systems modeling
Paging: Volume 15 (2014) nr. 2 pages 427-451
Year: 2014
Contents:
Publisher: Springer Berlin Heidelberg, Berlin/Heidelberg
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 4 of 15 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands