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 52 of 93 found articles
 
 
  Integrating runtime verification into an automated UAS traffic management system
 
 
Title: Integrating runtime verification into an automated UAS traffic management system
Author: Hammer, Abigail
Cauwels, Matthew
Hertz, Benjamin
Jones, Phillip H.
Rozier, Kristin Y.
Appeared in: Innovations in systems and software engineering
Paging: Volume 18 () nr. 4 pages 567-580
Year: 2021-07-14
Contents:
Publisher: Springer London, London
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

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