Search alternatives:
system theory » systems theory
Cover Image
Read Now

201
by Degano, Pierpaolo
Published 2003
Springer-Verlag Berlin Heidelberg
Cover Image
Read Now

202
by Métayer, Daniel
Published 2002
Springer-Verlag Berlin Heidelberg
Cover Image
Read Now

203
by Swierstra, S Doaitse
Published 1999
Springer-Verlag Berlin Heidelberg
Cover Image
Read Now

204
by Schmidt, David
Published 2004
Springer Berlin Heidelberg
Cover Image
Read Now

205
by Hankin, Chris
Published 1998
Springer Berlin Heidelberg
Cover Image
Read Now

206
Published 2001
Springer US
Table of Contents: “... of information systems and systems development -- 16. Managing Software Development within a Virtual Project...”
Cover Image
Read Now

207
Published 2023
Springer International Publishing
Subjects: “...Computer systems...”
Cover Image
Read Now

208
Published 2024
Springer Nature Switzerland
Table of Contents: “... and Verifying a Real-World Packet Error-Correction System -- Formally Verified ZTA Requirements for OT/ICS...”
Cover Image
Read Now

209
Published 2016
Springer International Publishing
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

210
Published 2015
Springer International Publishing
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

211
Published 2015
Springer Berlin Heidelberg
Table of Contents: “...Scalable Timing Analysis with Refinement -- A Formally Verified Hybrid System for the Next...”
Cover Image
Read Now

212
Published 2009
Springer Netherlands
Table of Contents: “... -- From Cybernetics to Plectics: A Practical Approach to Systems Enquiry in Engineering -- Mathematical...”
Cover Image
Read Now

213
Published 2018
Springer International Publishing
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

214
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... -- Monitoring Modulo Theories -- Temporal-Logic Based Runtime Observer Pairs for System Health Management...”
Cover Image
Read Now

215
Published 2017
Springer Berlin Heidelberg
Table of Contents: “...Invited Talk -- Validation, Synthesis and Optimization for Cyber-Physical Systems -- Verification...”
Cover Image
Read Now

216
Published 2017
Springer Berlin Heidelberg
Table of Contents: “... Translation of LTL to Limit Deterministic Automata -- Quantitative Systems -- Sequential Convex Programming...”
Cover Image
Read Now

217
Published 2015
Springer International Publishing
Table of Contents: “...Ensuring Properties of Distributed Systems -- Formal Models of Concurrent and Distributed Systems...”
Cover Image
Read Now

218
Published 2014
Springer Berlin Heidelberg
Table of Contents: “...Specification Languages and Type Systems -- Monitoring and Testing -- Security Analysis...”
Cover Image
Read Now

219
by Pacholski, Leszek
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects: “...Information systems...”
Cover Image
Read Now

220
by Pawlick, Jeffrey, Zhu, Quanyan
Published 2021
Springer International Publishing
Subjects: “...Systems and Data Security...”