Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
21.8% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Springer International Publishing
Christian Colombo
,
Martin Leucker
monitoring
runtime
verification
trace
specification
ϕ
monitor
event
events
systems
execution
doi.org
springer
lncs
specifications
temporal
approach
function
monitors
values
traces
algorithm
streams
first
timed
falcone
tools
smart
input
variables
finite
formula
analysis
heidelberg
output
defined
approaches
consider
havelund
sect
acm
checking
proceedings
programs
automata
different
memory
cham
java
lola
Рік:
2018
Мова:
english
Файл:
PDF, 21.40 MB
Ваші теги:
0
/
0
english, 2018
2
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Springer
Ezio Bartocci (editor)
,
Yliès Falcone (editor)
,
Martin Leucker (editor)
𝜌
𝜋
verification
runtime
ℓ
𝓢
safety
𝕍
analysis
𝑖
trace
monitor
monitoring
doi.org
interval
systems
jsk
liveness
springer
specification
𝑥
formal
automata
approach
dynamic
lncs
havelund
checking
𝑛
abstract
events
procedural
programming
traces
automaton
confidence
𝜋𝑖
attributes
context
event
execution
input
specification
tessla
memory
tools
assumptions
spa
output
temporal
Рік:
2021
Мова:
english
Файл:
PDF, 14.97 MB
Ваші теги:
0
/
4.5
english, 2021
3
Lectures on Runtime Verification: Introductory and Advanced Topics
Springer International Publishing
Ezio Bartocci
,
Yliès Falcone (eds.)
monitoring
runtime
systems
verification
temporal
monitor
springer
doi.org
lncs
execution
monitors
events
ϕ
specification
trace
enforcement
algorithm
event
falcone
acm
proceedings
techniques
heidelberg
analysis
behaviour
different
first
formula
signal
bartocci
failure
failures
approach
finite
variables
approaches
monitored
errors
cham
automata
concurrency
detection
testing
programs
francalanza
algorithms
global
defined
memory
satisfaction
Рік:
2018
Мова:
english
Файл:
PDF, 5.72 MB
Ваші теги:
0
/
0
english, 2018
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×