عنوان
پدید آورنده
موضوع
رده
QA76.76.V47
QA76
.
76
.
V47
کتابخانه
محل استقرار
303003769X
9783030037697
9783030037680
Runtime verification :
[Book]
18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings /
Christian Colombo, Martin Leucker (eds.).
Cham, Switzerland :
Springer,
2018.
1 online resource (xi, 470 pages) :
illustrations (some color)
Lecture notes in computer science ;
LNCS sublibrary. SL 2, Programming and software engineering
11237
Includes author index.
International conference proceedings.
Invited Papers -- Tutorial Papers -- Regular Papers -- Short Papers -- Tool Papers.
0
Chapter "Hardware-based Runtime Verification with Embedded Tracing Units and Stream Processing" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Springer Nature
com.springer.onix.9783030037697
9783030037680
9783030037703
RV 2018
Computer software-- Testing, Congresses.
Computer software-- Verification, Congresses.
Formal methods (Computer science), Congresses.
Computer programming-- software development.
Computer software-- Testing.
Computer software-- Verification.
Computers-- General.
Computers-- Hardware-- Handheld Devices.
Computers-- Programming-- General.
Computers-- Programming Languages-- General.
Computers-- Software Development & Engineering-- General.
Formal methods (Computer science)
Information technology: general issues.
Mathematical theory of computation.
Mathematics-- Logic.
Programming & scripting languages: general.
Software Engineering.
Systems analysis & design.
COM051230
UMZ
UMZ
005
.
1/4
23
QA76
.
76
.
V47
Colombo, Christian
Leucker, Martin
RV (Conference)(18th :2018 :, Limassol, Cyprus)
20200823075758.0
pn
مطالعه متن کتاب [Book]
Y
