Temat: FORMAL - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "FORMAL" wg kryterium: Temat

Wyświetlanie 1-10 z 18

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Towards the Safety Verification of Real-Time Systems with the Coq Proof Assistant
Autorzy:: Tveretina, O.
Data publikacji:: 2009
Słowa kluczowe:: formal methods
real-time
theorem proving; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Satisfiability Calculus : An Abstract Formulation of Semantic Proof Systems
Autorzy:: Lopez Pombo, Carlos G.
Castro, Pablo F.
Aguirre, Nazareno M.
Maibaum, Thomas S. E.
Data publikacji:: 2019
Słowa kluczowe:: formal methods
institution theory
semantic proof systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Formal Description of Alvis Language with α0 System Layer
Autorzy:: Szpyrka, M.
Matyasik, P.
Mrówka, R.
Kotulski, L.
Data publikacji:: 2014
Słowa kluczowe:: Alvis modelling language
concurrent systems
formal methods; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Improving Dependability of Automation for Free Electron Laser FLASH
Autorzy:: Kosęda, B.
Szmuc, T.
Cichalewski, W.
Data publikacji:: 2009
Słowa kluczowe:: automation
formal methods
model checking
expert system
Prolog
flash; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Model checking processes specified in join-calculus algebra
Autorzy:: Maludziński, S.
Dobrowolski, G.
Data publikacji:: 2014
Słowa kluczowe:: join-calculus
model checking
formal methods
automatic software verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Kolory projektowania
Autorzy:: Brzeziński, K. M.
Data publikacji:: 2015
Słowa kluczowe:: system
terminologia
metody formalne
projektowanie
testowanie
terminology
formal methods
design
testing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Systematyczna analiza poprawności w wytwarzaniu bezpiecznego oprogramowania
Autorzy:: Szmuc, T.
Rogus, G.
Data publikacji:: 2005
Słowa kluczowe:: poprawność oprogramowania
metody formalne
język LOTOS
correctness of software
formal methods
LOTOS language; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Prototyping Self-healing Behavior for NASA Swarm-based Systems with ASSL
Autorzy:: Vassev, Emil
Hinchey, Mike
Data publikacji:: 2021
Słowa kluczowe:: intelligent swarms
formal methods
autonomic computing
ASSL
ANTS
inteligentne roje
metody formalne
obliczenia autonomiczne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Concurrent systems modeling with CCL
Autorzy:: Kułakowski, K.
Data publikacji:: 2012
Słowa kluczowe:: CCL
DFD
inżynieria oprogramowania
metody formalne
eksplozja stanów
software engineering
formal methods
state explosion problem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Causal Behavioural Profiles - Efficient Computation, Applications and Evaluation
Autorzy:: Weidlich, M.
Mendling, J.
Polyvyanyy, A.
Weske, M.
Data publikacji:: 2011
Słowa kluczowe:: causal behavioural profiles
formal methods
behavioural abstraction
Structural Decompositions
exclusiveness
concurrency
order relations
causality
optionality; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 18

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "FORMAL" wg kryterium: Temat