Reset Filters
LC: Q - Science

Author Results for Reger, Giles,

FroCoS (Symposium),Birmingham, England)
NATO Advanced Study Institute on Engineering Dependable Software Systems,Marktoberdorf, Germany)
NATO Emerging Security Challenges Division
RV (Conference),Seattle, Wash.)
SpringerLink (Online service)

1
Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, proceedings /

Cover is for reference only
Corporate Authors: RV (Conference) Seattle, Wash.)
Group Author: Lahiri, Shuvendu (Editor); Reger, Giles (Editor)
Published: Springer,
Publication Dates: [2017]
Call Number: TP311-532/R943/2017
Book
Save to List
Saved in:
2
Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Lahiri, Shuvendu (Editor); Reger, Giles (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
3
Engineering dependable software systems /

Cover is for reference only
Corporate Authors: NATO Advanced Study Institute on Engineering Dependable Software Systems Marktoberdorf, Germany); NATO Emerging Security Challenges Division.
Group Author: Broy, M., 1949- (Editor); Peled, Doron A., 1962- (Editor); Kalus, Georg (Editor)
Published: IOS Press : published in cooperation with NATO Emerging Security Challenges Division,
Publication Dates: [2013]
Call Number: TP309-532/N279/2012
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —